0.00/0.09 c Filename:instance-4447447-1721358189.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.09 c Not use presolve
3599.92/3611.46 c Use LS-small
3599.92/3611.46 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: 64096 MiB (59772 MiB free)
memory of node 1: 64473 MiB (60076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447447-1721358189/watcher-4447447-1721358189 -o /tmp/evaluation-result-4447447-1721358189/solver-4447447-1721358189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996696 --watchdog 3760 ./LS-MabS -f HOME/instance-4447447-1721358189.opb -t 3600 -s 237572176
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=998771, runsolver pid=998768
[startup+0.10071 s]*
/proc/loadavg: 4.07 4.17 4.16 5/244 998772
/proc/meminfo: memFree=122714092/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=30984 memory=22420 CPUtime=0.09 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 3839 0 0 0 9 0 0 0 20 0 1 0 187977639 31727616 5605 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 7746 5605 2461 2403 0 4856 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30984 KiB
Current children cumulated memory: 22420 KiB
[startup+0.213285 s]*
/proc/loadavg: 4.07 4.17 4.16 5/244 998772
/proc/meminfo: memFree=122712692/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=30984 memory=22420 CPUtime=0.2 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 3878 0 0 0 20 0 0 0 20 0 1 0 187977639 31727616 5605 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 7746 5605 2461 2403 0 4856 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30984 KiB
Current children cumulated memory: 22420 KiB
[startup+0.312274 s]*
/proc/loadavg: 4.07 4.17 4.16 5/244 998774
/proc/meminfo: memFree=122710668/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=33148 memory=24528 CPUtime=0.3 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 4419 0 0 0 30 0 0 0 20 0 1 0 187977639 33943552 6132 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 8287 6132 2461 2403 0 5397 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 24528 KiB
[startup+0.700253 s]
/proc/loadavg: 4.07 4.17 4.16 6/244 998774
/proc/meminfo: memFree=122703760/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=44020 memory=35084 CPUtime=0.68 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 7012 0 0 0 67 1 0 0 20 0 1 0 187977639 45076480 8771 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 11005 8771 2461 2403 0 8115 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44020 KiB
Current children cumulated memory: 35084 KiB
[startup+1.50028 s]
/proc/loadavg: 4.07 4.17 4.16 5/244 998774
/proc/meminfo: memFree=122689612/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=57628 memory=48280 CPUtime=1.48 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 10323 0 0 0 146 2 0 0 20 0 1 0 187977639 59011072 12070 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 14407 12070 2461 2403 0 11517 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57628 KiB
Current children cumulated memory: 48280 KiB
[startup+3.11229 s]
/proc/loadavg: 4.07 4.17 4.16 5/244 998774
/proc/meminfo: memFree=122681400/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=62572 memory=52276 CPUtime=3.09 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 11629 0 0 0 307 2 0 0 20 0 1 0 187977639 64073728 13069 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 15643 13069 2461 2403 0 12753 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62572 KiB
Current children cumulated memory: 52276 KiB
[startup+6.30025 s]
/proc/loadavg: 4.07 4.16 4.16 5/244 998774
/proc/meminfo: memFree=122670184/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=69148 memory=59372 CPUtime=6.26 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 13643 0 0 0 624 2 0 0 20 0 1 0 187977639 70807552 14843 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 17287 14843 2461 2403 0 14397 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69148 KiB
Current children cumulated memory: 59372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.16 4.16 5/244 998776
/proc/meminfo: memFree=122657688/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=74280 memory=64448 CPUtime=12.64 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 15133 0 0 0 1261 3 0 0 20 0 1 0 187977639 76062720 16112 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 18570 16112 2461 2403 0 15680 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74280 KiB
Current children cumulated memory: 64448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.17 4.16 5/244 998777
/proc/meminfo: memFree=123444496/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=78436 memory=68748 CPUtime=25.39 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 16396 0 0 0 2536 3 0 0 20 0 1 0 187977639 80318464 17187 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 19609 17187 2461 2403 0 16719 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78436 KiB
Current children cumulated memory: 68748 KiB
[startup+51.1119 s]
/proc/loadavg: 4.15 4.17 4.16 5/243 998782
/proc/meminfo: memFree=123428752/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=93544 memory=84056 CPUtime=50.9 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 20855 0 0 0 5087 3 0 0 20 0 1 0 187977639 95789056 21014 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 23386 21014 2461 2403 0 20496 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 93544 KiB
Current children cumulated memory: 84056 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/243 998791
/proc/meminfo: memFree=123392476/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=131800 memory=120100 CPUtime=101.9 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 30641 0 0 0 10185 5 0 0 20 0 1 0 187977639 134963200 30025 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 32950 30025 2461 2403 0 30060 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 131800 KiB
Current children cumulated memory: 120100 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/245 998807
/proc/meminfo: memFree=123354084/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=168796 memory=157728 CPUtime=161.68 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 40194 0 0 0 16162 6 0 0 20 0 1 0 187977639 172847104 39432 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 42199 39432 2461 2403 0 39309 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 168796 KiB
Current children cumulated memory: 157728 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.14 5/245 998817
/proc/meminfo: memFree=123315048/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=206276 memory=196696 CPUtime=221.45 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 49943 0 0 0 22137 8 0 0 20 0 1 0 187977639 211226624 49174 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 51569 49174 2461 2403 0 48679 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 206276 KiB
Current children cumulated memory: 196696 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/245 998828
/proc/meminfo: memFree=123272584/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=252428 memory=238752 CPUtime=281.22 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 60569 0 0 0 28113 9 0 0 20 0 1 0 187977639 258486272 59688 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 63107 59688 2461 2403 0 60217 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 252428 KiB
Current children cumulated memory: 238752 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/245 998838
/proc/meminfo: memFree=123236044/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=287160 memory=274772 CPUtime=340.99 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 69553 0 0 0 34089 10 0 0 20 0 1 0 187977639 294051840 68693 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 71790 68693 2461 2403 0 68900 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 287160 KiB
Current children cumulated memory: 274772 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/245 998849
/proc/meminfo: memFree=123199568/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=322592 memory=311116 CPUtime=400.77 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 78685 0 0 0 40065 12 0 0 20 0 1 0 187977639 330334208 77779 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 80648 77779 2461 2403 0 77758 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 322592 KiB
Current children cumulated memory: 311116 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/245 998861
/proc/meminfo: memFree=123159236/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=361216 memory=350928 CPUtime=460.54 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 88604 0 0 0 46040 14 0 0 20 0 1 0 187977639 369885184 87732 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 90304 87732 2461 2403 0 87414 0
################
# More data... #
################
/proc/loadavg: 4.08 4.17 4.17 5/244 1000492
/proc/meminfo: memFree=121985128/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3211.82 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 290131 31051 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/244 1000502
/proc/meminfo: memFree=121961400/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3271.66 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 294795 32371 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/243 1000680
/proc/meminfo: memFree=121944164/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3331.51 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 299467 33684 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/243 1000691
/proc/meminfo: memFree=121931148/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3391.35 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 304137 34998 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/243 1000714
/proc/meminfo: memFree=121911524/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3451.2 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 308812 36308 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3451.2 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/242 1000724
/proc/meminfo: memFree=121895000/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3511.05 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 313481 37624 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/242 1000735
/proc/meminfo: memFree=121870708/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3570.9 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 318164 38926 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3611.47 s]
# the end of solver process 998771 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3204.31 s, system=395.697 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.14 5/242 1000735
/proc/meminfo: memFree=121869588/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3572.61 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 318298 38963 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.14 5/242 1000738
/proc/meminfo: memFree=121866308/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3585.36 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 319294 39242 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.12 4.14 5/242 1000739
/proc/meminfo: memFree=121865108/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3591.74 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 319790 39384 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3591.74 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3606.4 s]
/proc/loadavg: 4.11 4.12 4.14 5/242 1000739
/proc/meminfo: memFree=121864352/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3594.93 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 320036 39457 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3594.93 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3609.6 s]
/proc/loadavg: 4.11 4.12 4.14 5/242 1000739
/proc/meminfo: memFree=121863216/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3598.13 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 320283 39530 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3598.13 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.12 4.14 5/242 1000739
/proc/meminfo: memFree=121863160/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3598.93 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 320346 39547 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.11 4.14 5/242 1000741
/proc/meminfo: memFree=121863132/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3599.72 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 320409 39563 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3599.72 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
[startup+3611.4 s]
/proc/loadavg: 4.10 4.11 4.14 5/242 1000741
/proc/meminfo: memFree=121863132/131655788 swapFree=131071996/131071996
[pid=998771] ppid=998768 vsize=719440 memory=712368 CPUtime=3599.92 cores=0,2
/proc/998771/stat : 998771 (LS-MabS) R 998768 998771 996686 0 -1 4194304 299923 0 0 0 320425 39567 0 0 20 0 1 0 187977639 736706560 178092 134679101440 4194304 14036057 140724030120160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 48599040 140724030125089 140724030125190 140724030125190 140724030132206 0
/proc/998771/statm: 179860 178092 2461 2403 0 176970 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 719440 KiB
Current children cumulated memory: 712368 KiB
Child status: 0
Real time (s): 3611.47
CPU time (s): 3600.01
CPU user time (s): 3204.31
CPU system time (s): 395.697
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 1198984
Max. memory (cumulated for all children) (KiB): 1181992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3204.31
system time used= 395.697
maximum resident set size= 1181992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85
involuntary context switches= 25214
# summary of solver processes directly reported to runsolver:
# pid: 998771
# total CPU time (s): 3600.01
# total CPU user time (s): 3204.31
# total CPU system time (s): 395.697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4239 second user time and 33.0187 second system time
The end
Begin job on nodeC005 at 2024-07-19 05:03:20
IDJOB=4447447
IDBENCH=158904
IDSOLVER=3048
FILE ID=nodeC005/4447447-1721358189
RUNJOBID= nodeC005-1721354589-996696
SLURM_JOB_ID= 7542776
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447447-1721358189/watcher-4447447-1721358189 -o /tmp/evaluation-result-4447447-1721358189/solver-4447447-1721358189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996696 --watchdog 3760 ./LS-MabS -f HOME/instance-4447447-1721358189.opb -t 3600 -s 237572176
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851f3387310df6bbd014cd79a7a4e679
RANDOM SEED=237572176
nodeC005.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.774
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.53
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 : 3658.418
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.35
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.181
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.53
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.309
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.35
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 : 3645.538
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.53
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 : 3658.478
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.35
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.187
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.53
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.402
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122727364 kB
MemAvailable: 128160608 kB
Buffers: 513000 kB
Cached: 5701752 kB
SwapCached: 0 kB
Active: 1078912 kB
Inactive: 7153428 kB
Active(anon): 3464 kB
Inactive(anon): 2059372 kB
Active(file): 1075448 kB
Inactive(file): 5094056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13120 kB
Writeback: 0 kB
AnonPages: 2013244 kB
Mapped: 137524 kB
Shmem: 45896 kB
KReclaimable: 207876 kB
Slab: 325896 kB
SReclaimable: 207876 kB
SUnreclaim: 118020 kB
KernelStack: 3932 kB
PageTables: 13156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2475356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1591296 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC005 at 2024-07-19 06:03:32