0.10/0.16 c Filename:instance-4427940-1721026683.opb, Cutoff_time:3600, memory_limit_gb:500000
0.10/0.16 c Use Presolve
0.10/0.16 c Parse finsih
0.10/0.16 c Start Presolve
0.10/0.16 c After Reduce Vars: 771 Clauses: 252 Top clause weight: 1 Hard Clauses: 252
3599.94/3609.06 c Use LS-small
3599.94/3609.06 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: 64059 MiB (63170 MiB free)
memory of node 1: 64510 MiB (62271 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427940-1721026683/watcher-4427940-1721026683 -o /tmp/evaluation-result-4427940-1721026683/solver-4427940-1721026683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721026694-791571 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427940-1721026683.opb -t 3600 -s 1575914436
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
solver pid=791834, runsolver pid=791831
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.77 4.02 4.07 5/241 791839
/proc/meminfo: memFree=128441168/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=30032 memory=22728 CPUtime=0.1 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 2916 0 0 0 10 0 0 0 20 0 1 0 154826401 30752768 5682 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 7508 5682 2721 2753 0 4161 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30032 KiB
Current children cumulated memory: 22728 KiB
[startup+0.212955 s]*
/proc/loadavg: 3.77 4.02 4.07 5/242 791856
/proc/meminfo: memFree=128429496/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=38912 memory=31796 CPUtime=0.22 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 5745 0 0 0 21 1 0 0 20 0 1 0 154826401 39845888 7949 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 9728 7949 2833 2753 0 6381 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38912 KiB
Current children cumulated memory: 31796 KiB
[startup+0.31302 s]*
/proc/loadavg: 3.77 4.02 4.07 5/240 791857
/proc/meminfo: memFree=128415256/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=40320 memory=33376 CPUtime=0.31 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 6132 0 0 0 30 1 0 0 20 0 1 0 154826401 41287680 8344 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 10080 8344 2833 2753 0 6733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 33376 KiB
[startup+0.700332 s]
/proc/loadavg: 3.77 4.02 4.07 6/246 791867
/proc/meminfo: memFree=128378448/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=62832 memory=54612 CPUtime=0.69 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 11891 0 0 0 67 2 0 0 20 0 1 0 154826401 64339968 13653 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 15708 13653 2833 2753 0 12361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 54612 KiB
[startup+1.50033 s]
/proc/loadavg: 3.94 4.06 4.08 5/246 791867
/proc/meminfo: memFree=128321516/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=74860 memory=67472 CPUtime=1.48 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 15543 0 0 0 146 2 0 0 20 0 1 0 154826401 76656640 16868 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 18715 16868 2833 2753 0 15368 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74860 KiB
Current children cumulated memory: 67472 KiB
[startup+3.11382 s]
/proc/loadavg: 3.94 4.06 4.08 5/246 791867
/proc/meminfo: memFree=128296428/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=89780 memory=81436 CPUtime=3.09 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 20204 0 0 0 306 3 0 0 20 0 1 0 154826401 91934720 20359 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 22445 20359 2849 2753 0 19098 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89780 KiB
Current children cumulated memory: 81436 KiB
[startup+6.30032 s]
/proc/loadavg: 3.95 4.05 4.08 5/246 791867
/proc/meminfo: memFree=128012132/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=151556 memory=143772 CPUtime=6.27 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 36944 0 0 0 620 7 0 0 20 0 1 0 154826401 155193344 35943 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 37889 35943 2849 2753 0 34542 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 143772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.03 4.07 4.08 5/246 791868
/proc/meminfo: memFree=127939828/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=151556 memory=143772 CPUtime=12.65 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 36952 0 0 0 1258 7 0 0 20 0 1 0 154826401 155193344 35943 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 37889 35943 2849 2753 0 34542 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 143772 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.07 4.08 5/246 791870
/proc/meminfo: memFree=127898120/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=151556 memory=143772 CPUtime=25.4 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 36980 0 0 0 2533 7 0 0 20 0 1 0 154826401 155193344 35943 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 37889 35943 2849 2753 0 34542 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 143772 KiB
[startup+51.1137 s]
/proc/loadavg: 4.02 4.06 4.08 5/246 791875
/proc/meminfo: memFree=127877120/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=163336 memory=154668 CPUtime=50.89 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 39923 0 0 0 5082 7 0 0 20 0 1 0 154826401 167256064 38667 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 40834 38667 2849 2753 0 37487 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 163336 KiB
Current children cumulated memory: 154668 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.06 4.08 5/246 791883
/proc/meminfo: memFree=127839284/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=178868 memory=170484 CPUtime=101.86 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 43910 0 0 0 10178 8 0 0 20 0 1 0 154826401 183160832 42621 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 44717 42621 2849 2753 0 41370 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 178868 KiB
Current children cumulated memory: 170484 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.08 5/247 791900
/proc/meminfo: memFree=127818212/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=191880 memory=182332 CPUtime=161.6 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 46464 0 0 0 16152 8 0 0 20 0 1 0 154826401 196485120 45583 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 47970 45583 2849 2753 0 44623 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 191880 KiB
Current children cumulated memory: 182332 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.09 5/247 791921
/proc/meminfo: memFree=127801380/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=201448 memory=191864 CPUtime=221.34 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 49113 0 0 0 22125 9 0 0 20 0 1 0 154826401 206282752 47966 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 50362 47966 2849 2753 0 47015 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 201448 KiB
Current children cumulated memory: 191864 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/247 791932
/proc/meminfo: memFree=127769988/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=204516 memory=195808 CPUtime=281.07 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 50039 0 0 0 28098 9 0 0 20 0 1 0 154826401 209424384 48952 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 51129 48952 2849 2753 0 47782 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 204516 KiB
Current children cumulated memory: 195808 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/245 791943
/proc/meminfo: memFree=127724040/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=218112 memory=208744 CPUtime=340.84 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 52892 0 0 0 34074 10 0 0 20 0 1 0 154826401 223346688 52186 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 54528 52186 2849 2753 0 51181 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 218112 KiB
Current children cumulated memory: 208744 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/245 791955
/proc/meminfo: memFree=127699524/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=231404 memory=222440 CPUtime=400.63 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 55858 0 0 0 40053 10 0 0 20 0 1 0 154826401 236957696 55610 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 57851 55610 2849 2753 0 54504 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 231404 KiB
Current children cumulated memory: 222440 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/242 791966
/proc/meminfo: memFree=127669800/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=237340 memory=228104 CPUtime=460.44 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 57380 0 0 0 46034 10 0 0 20 0 1 0 154826401 243036160 57026 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 59335 57026 2849 2753 0 55988 0
################
# More data... #
################
/proc/loadavg: 4.24 4.25 4.21 5/243 793127
/proc/meminfo: memFree=126683596/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3153.99 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100553 0 0 0 311724 3675 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.22 4.20 5/243 793137
/proc/meminfo: memFree=126469900/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3213.88 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100554 0 0 0 317551 3837 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/243 793148
/proc/meminfo: memFree=126465276/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3273.79 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100555 0 0 0 323380 3999 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.17 4.18 5/243 793160
/proc/meminfo: memFree=126459604/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3333.68 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100556 0 0 0 329210 4158 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/243 793170
/proc/meminfo: memFree=126453268/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3393.58 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100557 0 0 0 335040 4318 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/244 793569
/proc/meminfo: memFree=126554060/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3453.47 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100558 0 0 0 340874 4473 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/243 793580
/proc/meminfo: memFree=126553924/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3513.37 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100559 0 0 0 346702 4635 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 793591
/proc/meminfo: memFree=126553500/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3573.27 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100560 0 0 0 352530 4797 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3609.07 s]
# the end of solver process 791834 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.3 s, system=48.7054 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.17 5/244 793591
/proc/meminfo: memFree=126553504/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3574.98 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100560 0 0 0 352694 4804 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3574.98 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 793593
/proc/meminfo: memFree=126553504/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3587.74 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 353937 4837 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 793595
/proc/meminfo: memFree=126553560/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3594.14 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 354561 4853 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3594.14 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 793596
/proc/meminfo: memFree=126553536/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3597.33 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 354871 4862 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3597.33 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3608 s]*
/proc/loadavg: 4.09 4.14 4.16 5/244 793596
/proc/meminfo: memFree=126553536/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3598.93 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 355027 4866 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3608.8 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 793596
/proc/meminfo: memFree=126553536/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3599.73 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 355104 4869 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
[startup+3609 s]*
/proc/loadavg: 4.09 4.14 4.16 5/242 793610
/proc/meminfo: memFree=126877652/131655788 swapFree=131071996/131071996
[pid=791834] ppid=791831 vsize=263264 memory=258076 CPUtime=3599.94 cores=4,6
/proc/791834/stat : 791834 (LS-MabSP) R 791831 791834 791530 0 -1 4194304 100561 0 0 0 355124 4870 0 0 20 0 1 0 154826401 269582336 64519 134679101440 4194304 15467897 140727096808256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28876800 140727096816671 140727096816774 140727096816774 140727096823789 0
/proc/791834/statm: 65816 64519 2849 2753 0 62469 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 263264 KiB
Current children cumulated memory: 258076 KiB
Child status: 0
Real time (s): 3609.07
CPU time (s): 3600.01
CPU user time (s): 3551.3
CPU system time (s): 48.7054
CPU usage (%): 99.7488
Max. virtual memory (cumulated for all children) (KiB): 446732
Max. memory (cumulated for all children) (KiB): 428652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.3
system time used= 48.7054
maximum resident set size= 428652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100575
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= 100
involuntary context switches= 1567
# summary of solver processes directly reported to runsolver:
# pid: 791834
# total CPU time (s): 3600.01
# total CPU user time (s): 3551.3
# total CPU system time (s): 48.7054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.126 second user time and 31.2196 second system time
The end
Begin job on nodeC002 at 2024-07-15 08:58:16
IDJOB=4427940
IDBENCH=148776
IDSOLVER=3047
FILE ID=nodeC002/4427940-1721026683
RUNJOBID= nodeC002-1721026694-791571
SLURM_JOB_ID= 7505404
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.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-4427940-1721026683/watcher-4427940-1721026683 -o /tmp/evaluation-result-4427940-1721026683/solver-4427940-1721026683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721026694-791571 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427940-1721026683.opb -t 3600 -s 1575914436
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1575914436
nodeC002.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 : 3305.477
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.38
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 : 3426.977
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.31
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.213
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.38
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.155
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.31
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 : 2693.478
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.38
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 : 3182.215
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.31
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.154
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.38
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.186
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128453388 kB
MemAvailable: 129734616 kB
Buffers: 363116 kB
Cached: 1748340 kB
SwapCached: 0 kB
Active: 569832 kB
Inactive: 2083588 kB
Active(anon): 2692 kB
Inactive(anon): 576968 kB
Active(file): 567140 kB
Inactive(file): 1506620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 66104 kB
Writeback: 0 kB
AnonPages: 541784 kB
Mapped: 126308 kB
Shmem: 37704 kB
KReclaimable: 95000 kB
Slab: 192152 kB
SReclaimable: 95000 kB
SUnreclaim: 97152 kB
KernelStack: 3936 kB
PageTables: 9888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 928772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 185160 kB
DirectMap2M: 14399488 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC002 at 2024-07-15 09:58:25