runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (54139 MiB free)
memory of node 1: 64510 MiB (61740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455433-1721465611/watcher-4455433-1721465611 -o /tmp/evaluation-result-4455433-1721465611/solver-4455433-1721465611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068407 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455433-1721465611.opb
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=1072370, runsolver pid=1072367
[startup+0.100932 s]*
/proc/loadavg: 4.15 4.12 4.09 6/255 1072377
/proc/meminfo: memFree=118621244/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=60460 memory=29328 CPUtime=0.09 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 7998 0 0 0 8 1 0 0 20 0 1 0 198728524 61911040 7332 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 15115 7332 1546 922 0 7067 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60460 KiB
Current children cumulated memory: 29328 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1072377
/proc/meminfo: memFree=118584672/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=80956 memory=49776 CPUtime=0.19 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 12418 0 0 0 17 2 0 0 20 0 1 0 198728524 82898944 12444 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 20239 12444 1737 922 0 12191 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80956 KiB
Current children cumulated memory: 49776 KiB
[startup+0.305516 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1072377
/proc/meminfo: memFree=118572592/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=80956 memory=49776 CPUtime=0.3 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 12430 0 0 0 27 3 0 0 20 0 1 0 198728524 82898944 12444 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 20239 12444 1737 922 0 12191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80956 KiB
Current children cumulated memory: 49776 KiB
[startup+0.700228 s]
/proc/loadavg: 4.15 4.12 4.09 4/254 1072377
/proc/meminfo: memFree=118558544/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=81596 memory=50304 CPUtime=0.68 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 12597 0 0 0 65 3 0 0 20 0 1 0 198728524 83554304 12576 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 20399 12576 1737 922 0 12351 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 50304 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118491432/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=101500 memory=70612 CPUtime=1.49 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 16073 0 0 0 134 15 0 0 20 0 1 0 198728524 103936000 17653 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 25375 17653 1769 922 0 17327 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 101500 KiB
Current children cumulated memory: 70612 KiB
[startup+3.10545 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072456
/proc/meminfo: memFree=118742276/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=150820 memory=115848 CPUtime=3.08 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 21791 0 0 0 276 32 0 0 20 0 1 0 198728524 154439680 28962 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 37705 28962 1769 922 0 29657 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150820 KiB
Current children cumulated memory: 115848 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072456
/proc/meminfo: memFree=118549916/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=181208 memory=145916 CPUtime=6.28 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 29307 0 0 0 592 36 0 0 20 0 1 0 198728524 185556992 36479 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 45302 36479 1769 922 0 37254 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 181208 KiB
Current children cumulated memory: 145916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1072504
/proc/meminfo: memFree=126271112/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=225212 memory=188044 CPUtime=12.66 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 37243 0 0 0 1198 68 0 0 20 0 1 0 198728524 230617088 47011 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 56303 47011 1830 922 0 48255 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 225212 KiB
Current children cumulated memory: 188044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1072505
/proc/meminfo: memFree=125942708/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=434312 memory=353340 CPUtime=25.42 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 50795 0 0 0 2444 98 0 0 20 0 1 0 198728524 444735488 88335 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 108578 88335 1846 922 0 100530 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 434312 KiB
Current children cumulated memory: 353340 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072511
/proc/meminfo: memFree=125641220/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=646416 memory=513320 CPUtime=50.96 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 71352 0 0 0 4920 176 0 0 20 0 1 0 198728524 661929984 128330 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 161604 128330 1846 922 0 153556 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 646416 KiB
Current children cumulated memory: 513320 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/256 1072565
/proc/meminfo: memFree=125455452/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=833988 memory=758028 CPUtime=102.03 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 116783 0 0 0 9928 275 0 0 20 0 1 0 198728524 854003712 189507 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 208497 189507 1846 922 0 200449 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 833988 KiB
Current children cumulated memory: 758028 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/257 1072959
/proc/meminfo: memFree=125247348/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=930536 memory=854528 CPUtime=161.89 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 140058 0 0 0 15757 432 0 0 20 0 1 0 198728524 952868864 213632 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 232634 213632 1846 922 0 224586 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 930536 KiB
Current children cumulated memory: 854528 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/257 1072969
/proc/meminfo: memFree=124629672/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=1319312 memory=1261712 CPUtime=221.73 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 183304 0 0 0 21657 516 0 0 20 0 1 0 198728524 1350975488 315428 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 329828 315428 1846 922 0 321780 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1319312 KiB
Current children cumulated memory: 1261712 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 1073148
/proc/meminfo: memFree=124494576/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=1333792 memory=1285060 CPUtime=281.59 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 186194 0 0 0 27575 584 0 0 20 0 1 0 198728524 1365803008 321265 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 333448 321265 1846 922 0 325400 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 1333792 KiB
Current children cumulated memory: 1285060 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/256 1073158
/proc/meminfo: memFree=124346144/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=1387544 memory=1339560 CPUtime=341.45 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 199897 0 0 0 33442 703 0 0 20 0 1 0 198728524 1420845056 334890 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 346886 334890 1846 922 0 338838 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 1387544 KiB
Current children cumulated memory: 1339560 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 1073172
/proc/meminfo: memFree=124225000/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=1453260 memory=1402144 CPUtime=401.31 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 215575 0 0 0 39287 844 0 0 20 0 1 0 198728524 1488138240 350536 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 363315 350536 1846 922 0 355267 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 1453260 KiB
Current children cumulated memory: 1402144 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 1073194
/proc/meminfo: memFree=124097292/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=1486408 memory=1438868 CPUtime=461.17 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 223789 0 0 0 45120 997 0 0 20 0 1 0 198728524 1522081792 359717 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 371602 359717 1846 922 0 363554 0
################
# More data... #
################
Current children cumulated memory: 3645440 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/257 1074337
/proc/meminfo: memFree=121540744/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3866548 memory=3645440 CPUtime=2855.48 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 626152 0 0 0 281513 4035 0 0 20 0 1 0 198728524 3959345152 911360 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 966637 911360 1979 922 0 958589 0
Current children cumulated CPU time: 2855.48 s
Current children cumulated vsize: 3866548 KiB
Current children cumulated memory: 3645440 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1074347
/proc/meminfo: memFree=121440484/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3927932 memory=3698668 CPUtime=2915.34 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 641547 0 0 0 287433 4101 0 0 20 0 1 0 198728524 4022202368 924667 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 981983 924667 1979 922 0 973935 0
Current children cumulated CPU time: 2915.34 s
Current children cumulated vsize: 3927932 KiB
Current children cumulated memory: 3698668 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1074358
/proc/meminfo: memFree=121403360/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3927932 memory=3698792 CPUtime=2975.19 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 643058 0 0 0 293359 4160 0 0 20 0 1 0 198728524 4022202368 924698 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 981983 924698 1979 922 0 973935 0
Current children cumulated CPU time: 2975.19 s
Current children cumulated vsize: 3927932 KiB
Current children cumulated memory: 3698792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1074369
/proc/meminfo: memFree=121383020/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3919708 memory=3690604 CPUtime=3035.05 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 644728 0 0 0 299265 4240 0 0 20 0 1 0 198728524 4013780992 922651 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 979927 922651 1979 922 0 971879 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 3919708 KiB
Current children cumulated memory: 3690604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1074379
/proc/meminfo: memFree=121339584/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3950444 memory=3712116 CPUtime=3094.9 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 651372 0 0 0 305201 4289 0 0 20 0 1 0 198728524 4045254656 928029 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 987611 928029 1979 922 0 979563 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 3950444 KiB
Current children cumulated memory: 3712116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1074389
/proc/meminfo: memFree=121294684/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3988384 memory=3749736 CPUtime=3154.76 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 656200 0 0 0 311097 4379 0 0 20 0 1 0 198728524 4084105216 937434 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 997096 937434 1979 922 0 989048 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 3988384 KiB
Current children cumulated memory: 3749736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1074399
/proc/meminfo: memFree=121280596/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3988384 memory=3749740 CPUtime=3214.62 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 657316 0 0 0 316969 4493 0 0 20 0 1 0 198728524 4084105216 937435 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 997096 937435 1979 922 0 989048 0
Current children cumulated CPU time: 3214.62 s
Current children cumulated vsize: 3988384 KiB
Current children cumulated memory: 3749740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/254 1074410
/proc/meminfo: memFree=121265664/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3988384 memory=3749740 CPUtime=3274.47 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 658509 0 0 0 322878 4569 0 0 20 0 1 0 198728524 4084105216 937435 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 997096 937435 1979 922 0 989048 0
Current children cumulated CPU time: 3274.47 s
Current children cumulated vsize: 3988384 KiB
Current children cumulated memory: 3749740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1074420
/proc/meminfo: memFree=121256016/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=3996144 memory=3757500 CPUtime=3334.34 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 661722 0 0 0 328751 4683 0 0 20 0 1 0 198728524 4092051456 939375 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 999036 939375 1979 922 0 990988 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 3996144 KiB
Current children cumulated memory: 3757500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1074435
/proc/meminfo: memFree=121243792/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=4003404 memory=3764760 CPUtime=3394.2 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 663663 0 0 0 334716 4704 0 0 20 0 1 0 198728524 4099485696 941190 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 1000851 941190 1979 922 0 992803 0
Current children cumulated CPU time: 3394.2 s
Current children cumulated vsize: 4003404 KiB
Current children cumulated memory: 3764760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1074446
/proc/meminfo: memFree=121239392/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=4003404 memory=3764760 CPUtime=3454.06 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 664516 0 0 0 340685 4721 0 0 20 0 1 0 198728524 4099485696 941190 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 1000851 941190 1979 922 0 992803 0
Current children cumulated CPU time: 3454.06 s
Current children cumulated vsize: 4003404 KiB
Current children cumulated memory: 3764760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1074456
/proc/meminfo: memFree=121219204/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=4019388 memory=3780304 CPUtime=3513.92 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 669939 0 0 0 346612 4780 0 0 20 0 1 0 198728524 4115853312 945076 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 1004847 945076 1979 922 0 996799 0
Current children cumulated CPU time: 3513.92 s
Current children cumulated vsize: 4019388 KiB
Current children cumulated memory: 3780304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.17 4.11 5/257 1074467
/proc/meminfo: memFree=121144000/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=4091668 memory=3854272 CPUtime=3573.77 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 689420 0 0 0 352554 4823 0 0 20 0 1 0 198728524 4189868032 963568 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 1022917 963568 1979 922 0 1014869 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 4091668 KiB
Current children cumulated memory: 3854272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.28 4.17 4.11 5/257 1074471
/proc/meminfo: memFree=121137688/131524600 swapFree=131071996/131071996
[pid=1072370] ppid=1072367 vsize=4093864 memory=3856500 CPUtime=3600.01 cores=4,6
/proc/1072370/stat : 1072370 (roundingsat) R 1072367 1072370 1068396 0 -1 4194304 690759 0 0 0 355147 4854 0 0 20 0 1 0 198728524 4192116736 964125 134679101440 4194304 7968373 140725904914880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 34529280 140725904917436 140725904917600 140725904917600 140725904924617 0
/proc/1072370/statm: 1023466 964125 1979 922 0 1015418 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4093864 KiB
Current children cumulated memory: 3856500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.68 s]
# the end of solver process 1072370 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.49 s, system=48.6171 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.68
CPU time (s): 3600.11
CPU user time (s): 3551.49
CPU system time (s): 48.6171
CPU usage (%): 99.7623
Max. virtual memory (cumulated for all children) (KiB): 4093864
Max. memory (cumulated for all children) (KiB): 3856500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.49
system time used= 48.6171
maximum resident set size= 3856500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690780
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= 162
involuntary context switches= 2269
# summary of solver processes directly reported to runsolver:
# pid: 1072370
# total CPU time (s): 3600.11
# total CPU user time (s): 3551.49
# total CPU system time (s): 48.6171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88614 second user time and 16.414 second system time
The end
Begin job on nodeC029 at 2024-07-20 10:53:44
IDJOB=4455433
IDBENCH=158610
IDSOLVER=3084
FILE ID=nodeC029/4455433-1721465611
RUNJOBID= nodeC029-1721458405-1068407
SLURM_JOB_ID= 7545702
Free space on /tmp= 890044 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455433-1721465611/watcher-4455433-1721465611 -o /tmp/evaluation-result-4455433-1721465611/solver-4455433-1721465611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068407 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455433-1721465611.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=866969884
nodeC029.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 : 3688.700
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 : 7000.09
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.152
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 : 7006.98
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 : 3642.615
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 : 7000.09
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 : 3669.868
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 : 7006.98
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 : 3663.124
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 : 7000.09
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 : 3686.368
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 : 7006.98
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 : 3658.058
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 : 7000.09
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 : 3620.946
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118670268 kB
MemAvailable: 121548908 kB
Buffers: 552140 kB
Cached: 3141004 kB
SwapCached: 0 kB
Active: 1079820 kB
Inactive: 11071252 kB
Active(anon): 1480 kB
Inactive(anon): 8502044 kB
Active(file): 1078340 kB
Inactive(file): 2569208 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6696 kB
Writeback: 16 kB
AnonPages: 8457688 kB
Mapped: 115196 kB
Shmem: 45912 kB
KReclaimable: 141476 kB
Slab: 260380 kB
SReclaimable: 141476 kB
SUnreclaim: 118904 kB
KernelStack: 4140 kB
PageTables: 27472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10637396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72416 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2211840 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC029 at 2024-07-20 11:53:53