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 (48702 MiB free)
memory of node 1: 64510 MiB (58316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457451-1721840736/watcher-4457451-1721840736 -o /tmp/evaluation-result-4457451-1721840736/solver-4457451-1721840736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190861 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457451-1721840736 --lp-cut-gomory=0 HOME/instance-4457451-1721840736.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=191427, runsolver pid=191424
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109583556/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=40732 memory=10988 CPUtime=0.09 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 1275 0 0 0 8 1 0 0 20 0 1 0 20597768 41709568 2747 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 10183 2747 1834 992 0 2041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 10988 KiB
[startup+0.205688 s]*
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109581708/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=41428 memory=12032 CPUtime=0.2 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 1535 0 0 0 18 2 0 0 20 0 1 0 20597768 42422272 3008 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 10357 3008 1834 992 0 2215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 12032 KiB
[startup+0.305578 s]*
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109580588/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=41692 memory=12296 CPUtime=0.3 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 1582 0 0 0 27 3 0 0 20 0 1 0 20597768 42692608 3074 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 10423 3074 1834 992 0 2281 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 12296 KiB
[startup+0.700232 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109578096/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=42660 memory=13880 CPUtime=0.68 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 1966 0 0 0 60 8 0 0 20 0 1 0 20597768 43683840 3470 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 10665 3470 1834 992 0 2523 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 13880 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109571308/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=44232 memory=17508 CPUtime=1.49 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 2340 0 0 0 131 18 0 0 20 0 1 0 20597768 45293568 4377 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 11058 4377 1834 992 0 2916 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44232 KiB
Current children cumulated memory: 17508 KiB
[startup+3.10557 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191428
/proc/meminfo: memFree=109553536/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=46324 memory=19352 CPUtime=3.09 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 2846 0 0 0 279 30 0 0 20 0 1 0 20597768 47435776 4838 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 11581 4838 1834 992 0 3439 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46324 KiB
Current children cumulated memory: 19352 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.08 4.07 5/260 191430
/proc/meminfo: memFree=109528764/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=49076 memory=21980 CPUtime=6.27 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 3523 0 0 0 581 46 0 0 20 0 1 0 20597768 50253824 5495 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 12269 5495 1834 992 0 4127 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 21980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.07 5/260 191430
/proc/meminfo: memFree=109481164/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=52028 memory=25668 CPUtime=12.66 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 4390 0 0 0 1193 73 0 0 20 0 1 0 20597768 53276672 6417 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 13007 6417 1834 992 0 4865 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 25668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.09 4.08 5/259 191433
/proc/meminfo: memFree=109389872/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=57404 memory=30220 CPUtime=25.43 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 5077 0 0 0 2422 121 0 0 20 0 1 0 20597768 58781696 7555 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 14351 7555 1834 992 0 6209 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57404 KiB
Current children cumulated memory: 30220 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.08 4.08 5/258 191436
/proc/meminfo: memFree=109212492/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=65388 memory=37396 CPUtime=50.97 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 6425 0 0 0 4906 191 0 0 20 0 1 0 20597768 66957312 9349 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 16347 9349 1899 992 0 8205 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 37396 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.11 4.09 5/258 191445
/proc/meminfo: memFree=108915676/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=69008 memory=40312 CPUtime=102.04 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 8769 0 0 0 9911 293 0 0 20 0 1 0 20597768 70664192 10078 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 17252 10078 1899 992 0 9110 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 40312 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.09 5/258 191457
/proc/meminfo: memFree=108676320/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=74352 memory=45368 CPUtime=161.89 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 10066 0 0 0 15806 383 0 0 20 0 1 0 20597768 76136448 11342 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 18588 11342 1899 992 0 10446 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 74352 KiB
Current children cumulated memory: 45368 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 191468
/proc/meminfo: memFree=108377044/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=76992 memory=47484 CPUtime=221.73 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 10757 0 0 0 21733 440 0 0 20 0 1 0 20597768 78839808 11871 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 19248 11871 1899 992 0 11106 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 76992 KiB
Current children cumulated memory: 47484 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/260 191482
/proc/meminfo: memFree=108146776/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=78312 memory=48548 CPUtime=281.58 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 11285 0 0 0 27665 493 0 0 20 0 1 0 20597768 80191488 12137 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 19578 12137 1899 992 0 11436 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 78312 KiB
Current children cumulated memory: 48548 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/260 191493
/proc/meminfo: memFree=107920920/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=79728 memory=53572 CPUtime=341.41 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 12171 0 0 0 33611 530 0 0 20 0 1 0 20597768 81641472 13393 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 19932 13393 1899 992 0 11790 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 79728 KiB
Current children cumulated memory: 53572 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 191505
/proc/meminfo: memFree=107657884/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=92360 memory=61276 CPUtime=401.24 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 13109 0 0 0 39575 549 0 0 20 0 1 0 20597768 94576640 15319 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 23090 15319 1899 992 0 14948 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 92360 KiB
Current children cumulated memory: 61276 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 191518
/proc/meminfo: memFree=107498456/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=95480 memory=65348 CPUtime=461.05 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 13633 0 0 0 45539 566 0 0 20 0 1 0 20597768 97771520 16337 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 23870 16337 1899 992 0 15728 0
################
# More data... #
################
Current children cumulated memory: 107920 KiB
[startup+2862.3 s]
/proc/loadavg: 3.32 3.24 3.47 4/252 192605
/proc/meminfo: memFree=108053796/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=151080 memory=108276 CPUtime=2853.28 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 22574 0 0 0 284350 978 0 0 20 0 1 0 20597768 154705920 27069 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 37770 27069 1899 992 0 29628 0
Current children cumulated CPU time: 2853.28 s
Current children cumulated vsize: 151080 KiB
Current children cumulated memory: 108276 KiB
[startup+2922.3 s]
/proc/loadavg: 3.18 3.21 3.45 4/252 192615
/proc/meminfo: memFree=108026956/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=151336 memory=108484 CPUtime=2913.07 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 22707 0 0 0 290322 985 0 0 20 0 1 0 20597768 154968064 27121 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 37834 27121 1899 992 0 29692 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 151336 KiB
Current children cumulated memory: 108484 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.18 3.42 4/252 193009
/proc/meminfo: memFree=107998436/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=152364 memory=111100 CPUtime=2972.86 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 22961 0 0 0 296296 990 0 0 20 0 1 0 20597768 156020736 27775 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38091 27775 1899 992 0 29949 0
Current children cumulated CPU time: 2972.86 s
Current children cumulated vsize: 152364 KiB
Current children cumulated memory: 111100 KiB
[startup+3042.3 s]
/proc/loadavg: 3.14 3.18 3.41 4/250 193019
/proc/meminfo: memFree=107968260/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=153136 memory=111500 CPUtime=3032.66 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23159 0 0 0 302271 995 0 0 20 0 1 0 20597768 156811264 27875 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38284 27875 1899 992 0 30142 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 153136 KiB
Current children cumulated memory: 111500 KiB
[startup+3102.3 s]
/proc/loadavg: 3.16 3.17 3.39 4/250 193030
/proc/meminfo: memFree=107941868/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=153908 memory=111936 CPUtime=3092.45 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23373 0 0 0 308243 1002 0 0 20 0 1 0 20597768 157601792 27984 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38477 27984 1899 992 0 30335 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 153908 KiB
Current children cumulated memory: 111936 KiB
[startup+3162.3 s]
/proc/loadavg: 3.17 3.17 3.37 4/250 193042
/proc/meminfo: memFree=107913780/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154424 memory=114332 CPUtime=3152.24 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23506 0 0 0 314217 1007 0 0 20 0 1 0 20597768 158130176 28583 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38606 28583 1899 992 0 30464 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 114332 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.15 3.35 4/252 193223
/proc/meminfo: memFree=107886176/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154424 memory=114420 CPUtime=3212.03 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23579 0 0 0 320191 1012 0 0 20 0 1 0 20597768 158130176 28605 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38606 28605 1899 992 0 30464 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 114420 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.14 3.33 4/252 193235
/proc/meminfo: memFree=107854972/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154424 memory=114512 CPUtime=3271.82 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23657 0 0 0 326163 1019 0 0 20 0 1 0 20597768 158130176 28628 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38606 28628 1899 992 0 30464 0
Current children cumulated CPU time: 3271.82 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 114512 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.14 3.32 4/253 193258
/proc/meminfo: memFree=107826808/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154424 memory=118428 CPUtime=3331.61 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23737 0 0 0 332136 1025 0 0 20 0 1 0 20597768 158130176 29607 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38606 29607 1899 992 0 30464 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 118428 KiB
[startup+3402.3 s]
/proc/loadavg: 2.50 2.96 3.25 3/246 193300
/proc/meminfo: memFree=109006308/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154752 memory=118860 CPUtime=3391.41 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23944 0 0 0 338107 1034 0 0 20 0 1 0 20597768 158466048 29715 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38688 29715 1899 992 0 30546 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 118860 KiB
[startup+3462.3 s]
/proc/loadavg: 2.30 2.81 3.18 3/246 193311
/proc/meminfo: memFree=108992512/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154752 memory=118860 CPUtime=3451.21 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 23982 0 0 0 344079 1042 0 0 20 0 1 0 20597768 158466048 29715 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38688 29715 1899 992 0 30546 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 118860 KiB
[startup+3522.3 s]
/proc/loadavg: 2.02 2.65 3.09 2/238 193354
/proc/meminfo: memFree=110273404/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154752 memory=118860 CPUtime=3511.03 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 24020 0 0 0 350051 1052 0 0 20 0 1 0 20597768 158466048 29715 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38688 29715 1899 992 0 30546 0
Current children cumulated CPU time: 3511.03 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 118860 KiB
[startup+3582.3 s]
/proc/loadavg: 1.42 2.36 2.97 2/236 193366
/proc/meminfo: memFree=110268420/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154752 memory=118860 CPUtime=3570.86 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 24060 0 0 0 356025 1061 0 0 20 0 1 0 20597768 158466048 29715 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38688 29715 1899 992 0 30546 0
Current children cumulated CPU time: 3570.86 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 118860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 1.31 2.24 2.91 2/236 193370
/proc/meminfo: memFree=110266792/131524600 swapFree=131054736/131071996
[pid=191427] ppid=191424 vsize=154752 memory=118860 CPUtime=3600.06 cores=5,7
/proc/191427/stat : 191427 (roundingsat) R 191424 191427 190848 0 -1 4194304 24099 0 0 0 358942 1064 0 0 20 0 1 0 20597768 158466048 29715 134679101440 4194304 8254037 140728740239888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 12890112 140728740246364 140728740246626 140728740246626 140728740253641 0
/proc/191427/statm: 38688 29715 1899 992 0 30546 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 118860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.62 s]
# the end of solver process 191427 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.44 s, system=10.6507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.62
CPU time (s): 3600.09
CPU user time (s): 3589.44
CPU system time (s): 10.6507
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 154752
Max. memory (cumulated for all children) (KiB): 118860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.44
system time used= 10.6507
maximum resident set size= 119124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 5168
# summary of solver processes directly reported to runsolver:
# pid: 191427
# total CPU time (s): 3600.09
# total CPU user time (s): 3589.44
# total CPU system time (s): 10.6507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93003 second user time and 17.8407 second system time
The end
Begin job on nodeC034 at 2024-07-24 19:05:36
IDJOB=4457451
IDBENCH=176039
IDSOLVER=3085
FILE ID=nodeC034/4457451-1721840736
RUNJOBID= nodeC034-1721840464-190861
SLURM_JOB_ID= 7891550
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457451-1721840736/watcher-4457451-1721840736 -o /tmp/evaluation-result-4457451-1721840736/solver-4457451-1721840736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190861 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457451-1721840736 --lp-cut-gomory=0 HOME/instance-4457451-1721840736.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=357429667
nodeC034.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 : 3656.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3666.809
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.222
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.245
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.84
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 : 3656.274
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3659.199
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3654.203
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109588160 kB
MemAvailable: 129259824 kB
Buffers: 266164 kB
Cached: 20164544 kB
SwapCached: 96 kB
Active: 1650356 kB
Inactive: 19571076 kB
Active(anon): 1944 kB
Inactive(anon): 831428 kB
Active(file): 1648412 kB
Inactive(file): 18739648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 25104 kB
Writeback: 8 kB
AnonPages: 789416 kB
Mapped: 102956 kB
Shmem: 42580 kB
KReclaimable: 246504 kB
Slab: 361836 kB
SReclaimable: 246504 kB
SUnreclaim: 115332 kB
KernelStack: 4224 kB
PageTables: 11260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1200320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 362496 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: 357076 kB
DirectMap2M: 48699392 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC034 at 2024-07-24 20:05:48