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 (62439 MiB free)
memory of node 1: 64510 MiB (61604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455480-1721460678/watcher-4455480-1721460678 -o /tmp/evaluation-result-4455480-1721460678/solver-4455480-1721460678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046577 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455480-1721460678.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
Current StackSize limit: 8192 KiB
solver pid=1046825, runsolver pid=1046822
[startup+0.100102 s]*
/proc/loadavg: 3.76 4.06 4.19 5/244 1046826
/proc/meminfo: memFree=127020020/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=37660 memory=8148 CPUtime=0.11 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 476 0 0 0 9 2 0 0 20 0 1 0 198224235 38563840 2037 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 9415 2037 1797 922 0 1367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 37660 KiB
Current children cumulated memory: 8148 KiB
[startup+0.212922 s]*
/proc/loadavg: 3.76 4.06 4.19 6/244 1046826
/proc/meminfo: memFree=127019348/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=37660 memory=8412 CPUtime=0.22 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 531 0 0 0 19 3 0 0 20 0 1 0 198224235 38563840 2103 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 9415 2103 1797 922 0 1367 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37660 KiB
Current children cumulated memory: 8412 KiB
[startup+0.312832 s]*
/proc/loadavg: 3.76 4.06 4.19 5/244 1046826
/proc/meminfo: memFree=127019020/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=37792 memory=8676 CPUtime=0.31 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 592 0 0 0 28 3 0 0 20 0 1 0 198224235 38699008 2169 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 9448 2169 1797 922 0 1400 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 8676 KiB
[startup+0.700318 s]
/proc/loadavg: 3.76 4.06 4.19 5/244 1046826
/proc/meminfo: memFree=127018516/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=38196 memory=9204 CPUtime=0.68 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 726 0 0 0 62 6 0 0 20 0 1 0 198224235 39112704 2301 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 9549 2301 1797 922 0 1501 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38196 KiB
Current children cumulated memory: 9204 KiB
[startup+1.50031 s]
/proc/loadavg: 3.76 4.06 4.19 5/244 1046826
/proc/meminfo: memFree=127017480/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=38756 memory=10260 CPUtime=1.48 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 1001 0 0 0 137 11 0 0 20 0 1 0 198224235 39686144 2565 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 9689 2565 1797 922 0 1641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38756 KiB
Current children cumulated memory: 10260 KiB
[startup+3.11298 s]
/proc/loadavg: 3.76 4.06 4.19 5/244 1046826
/proc/meminfo: memFree=127013184/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=40568 memory=14148 CPUtime=3.09 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 1435 0 0 0 294 15 0 0 20 0 1 0 198224235 41541632 3537 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 10142 3537 1797 922 0 2094 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40568 KiB
Current children cumulated memory: 14148 KiB
[startup+6.3003 s]
/proc/loadavg: 3.86 4.07 4.19 5/244 1046827
/proc/meminfo: memFree=127012664/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=41368 memory=14996 CPUtime=6.28 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 1601 0 0 0 597 31 0 0 20 0 1 0 198224235 42360832 3749 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 10342 3749 1884 922 0 2294 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41368 KiB
Current children cumulated memory: 14996 KiB
[startup+12.7003 s]
/proc/loadavg: 3.95 4.09 4.20 5/244 1046827
/proc/meminfo: memFree=127011924/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=41656 memory=15844 CPUtime=12.66 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 1710 0 0 0 1216 50 0 0 20 0 1 0 198224235 42655744 3961 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 10414 3961 1932 922 0 2366 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41656 KiB
Current children cumulated memory: 15844 KiB
[startup+25.5003 s]
/proc/loadavg: 3.96 4.08 4.19 5/244 1046830
/proc/meminfo: memFree=127007604/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=43864 memory=17420 CPUtime=25.42 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 2169 0 0 0 2458 84 0 0 20 0 1 0 198224235 44916736 4355 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 10966 4355 1932 922 0 2918 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 17420 KiB
[startup+51.1131 s]
/proc/loadavg: 4.05 4.09 4.19 5/244 1046833
/proc/meminfo: memFree=127001632/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=48312 memory=22384 CPUtime=50.96 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 2874 0 0 0 4970 126 0 0 20 0 1 0 198224235 49471488 5596 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 12078 5596 1932 922 0 4030 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 48312 KiB
Current children cumulated memory: 22384 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.18 5/245 1046843
/proc/meminfo: memFree=126915396/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=57864 memory=29200 CPUtime=102 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 4076 0 0 0 9965 235 0 0 20 0 1 0 198224235 59252736 7300 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 14466 7300 1932 922 0 6418 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 57864 KiB
Current children cumulated memory: 29200 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.18 5/244 1046854
/proc/meminfo: memFree=126897620/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=58124 memory=29588 CPUtime=161.81 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 4168 0 0 0 15888 293 0 0 20 0 1 0 198224235 59518976 7397 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 14531 7397 1932 922 0 6483 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 58124 KiB
Current children cumulated memory: 29588 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.17 5/244 1046865
/proc/meminfo: memFree=126858484/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=69000 memory=38936 CPUtime=221.61 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 5455 0 0 0 21837 324 0 0 20 0 1 0 198224235 70656000 9734 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 17250 9734 1932 922 0 9202 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 69000 KiB
Current children cumulated memory: 38936 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.17 5/242 1046875
/proc/meminfo: memFree=126850532/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=69908 memory=39712 CPUtime=281.41 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 6290 0 0 0 27781 360 0 0 20 0 1 0 198224235 71585792 9928 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 17477 9928 1932 922 0 9429 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 69908 KiB
Current children cumulated memory: 39712 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.16 5/242 1046885
/proc/meminfo: memFree=126836768/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=70080 memory=40908 CPUtime=341.2 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 6695 0 0 0 33700 420 0 0 20 0 1 0 198224235 71761920 10227 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 17520 10227 1932 922 0 9472 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 70080 KiB
Current children cumulated memory: 40908 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.13 4.18 5/241 1046896
/proc/meminfo: memFree=126826616/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=70080 memory=41352 CPUtime=401.02 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 6708 0 0 0 39643 459 0 0 20 0 1 0 198224235 71761920 10338 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 17520 10338 1932 922 0 9472 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 70080 KiB
Current children cumulated memory: 41352 KiB
[startup+462.3 s]
/proc/loadavg: 4.57 4.26 4.22 5/241 1046906
/proc/meminfo: memFree=126824820/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=73812 memory=42388 CPUtime=460.83 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 7606 0 0 0 45596 487 0 0 20 0 1 0 198224235 75583488 10597 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 18453 10597 1932 922 0 10405 0
################
# More data... #
################
Current children cumulated memory: 80424 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/241 1047910
/proc/meminfo: memFree=126574176/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=124880 memory=80424 CPUtime=2852.83 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 14677 0 0 0 284160 1123 0 0 20 0 1 0 198224235 127877120 20106 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 31220 20106 1932 922 0 23172 0
Current children cumulated CPU time: 2852.83 s
Current children cumulated vsize: 124880 KiB
Current children cumulated memory: 80424 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/241 1047920
/proc/meminfo: memFree=126573084/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=126164 memory=80700 CPUtime=2912.64 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 14969 0 0 0 290131 1133 0 0 20 0 1 0 198224235 129191936 20175 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 31541 20175 1932 922 0 23493 0
Current children cumulated CPU time: 2912.64 s
Current children cumulated vsize: 126164 KiB
Current children cumulated memory: 80700 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/243 1047934
/proc/meminfo: memFree=126571892/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=127188 memory=80788 CPUtime=2972.46 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 15280 0 0 0 296102 1144 0 0 20 0 1 0 198224235 130240512 20197 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 31797 20197 1932 922 0 23749 0
Current children cumulated CPU time: 2972.46 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 80788 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/244 1047945
/proc/meminfo: memFree=126572852/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=127956 memory=80900 CPUtime=3032.26 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 15531 0 0 0 302072 1154 0 0 20 0 1 0 198224235 131026944 20225 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 31989 20225 1932 922 0 23941 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 127956 KiB
Current children cumulated memory: 80900 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/244 1047956
/proc/meminfo: memFree=126572352/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=128080 memory=80868 CPUtime=3092.09 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 15658 0 0 0 308046 1163 0 0 20 0 1 0 198224235 131153920 20217 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32020 20217 1932 922 0 23972 0
Current children cumulated CPU time: 3092.09 s
Current children cumulated vsize: 128080 KiB
Current children cumulated memory: 80868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 1047966
/proc/meminfo: memFree=126570404/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=128716 memory=81916 CPUtime=3151.92 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 15882 0 0 0 314021 1171 0 0 20 0 1 0 198224235 131805184 20479 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32179 20479 1932 922 0 24131 0
Current children cumulated CPU time: 3151.92 s
Current children cumulated vsize: 128716 KiB
Current children cumulated memory: 81916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/244 1047977
/proc/meminfo: memFree=126569288/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=129864 memory=82520 CPUtime=3211.76 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 16149 0 0 0 319996 1180 0 0 20 0 1 0 198224235 132980736 20630 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32466 20630 1932 922 0 24418 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 129864 KiB
Current children cumulated memory: 82520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/242 1048371
/proc/meminfo: memFree=126552164/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=130120 memory=84580 CPUtime=3271.58 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 16288 0 0 0 325970 1188 0 0 20 0 1 0 198224235 133242880 21145 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32530 21145 1932 922 0 24482 0
Current children cumulated CPU time: 3271.58 s
Current children cumulated vsize: 130120 KiB
Current children cumulated memory: 84580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/241 1048381
/proc/meminfo: memFree=126551872/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=130376 memory=84872 CPUtime=3331.38 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 16429 0 0 0 331943 1195 0 0 20 0 1 0 198224235 133505024 21218 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32594 21218 1932 922 0 24546 0
Current children cumulated CPU time: 3331.38 s
Current children cumulated vsize: 130376 KiB
Current children cumulated memory: 84872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/241 1048391
/proc/meminfo: memFree=126549320/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=130632 memory=87052 CPUtime=3391.19 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 16535 0 0 0 337916 1203 0 0 20 0 1 0 198224235 133767168 21763 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32658 21763 1932 922 0 24610 0
Current children cumulated CPU time: 3391.19 s
Current children cumulated vsize: 130632 KiB
Current children cumulated memory: 87052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/243 1048572
/proc/meminfo: memFree=126548536/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=130888 memory=87384 CPUtime=3451.01 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 16678 0 0 0 343892 1209 0 0 20 0 1 0 198224235 134029312 21846 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 32722 21846 1932 922 0 24674 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 87384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/243 1048583
/proc/meminfo: memFree=126544900/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=133052 memory=90876 CPUtime=3510.83 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 17225 0 0 0 349867 1216 0 0 20 0 1 0 198224235 136245248 22719 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 33263 22719 1932 922 0 25215 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 133052 KiB
Current children cumulated memory: 90876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1048651
/proc/meminfo: memFree=126545692/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=133692 memory=91168 CPUtime=3570.64 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 17423 0 0 0 355842 1222 0 0 20 0 1 0 198224235 136900608 22792 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 33423 22792 1932 922 0 25375 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 133692 KiB
Current children cumulated memory: 91168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.18 4.15 4.14 5/246 1048840
/proc/meminfo: memFree=126815980/131655788 swapFree=131071996/131071996
[pid=1046825] ppid=1046822 vsize=133948 memory=92652 CPUtime=3600.05 cores=5,7
/proc/1046825/stat : 1046825 (roundingsat) R 1046822 1046825 1046564 0 -1 4194304 17550 0 0 0 358779 1226 0 0 20 0 1 0 198224235 137162752 23163 134679101440 4194304 7968373 140726220555040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37531648 140726220559292 140726220559456 140726220559456 140726220566473 0
/proc/1046825/statm: 33487 23163 1932 922 0 25439 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133948 KiB
Current children cumulated memory: 92652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 1046825 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.79 s, system=12.266 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.81
CPU time (s): 3600.06
CPU user time (s): 3587.79
CPU system time (s): 12.266
CPU usage (%): 99.6748
Max. virtual memory (cumulated for all children) (KiB): 133948
Max. memory (cumulated for all children) (KiB): 92652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 12.266
maximum resident set size= 92652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17562
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= 30
involuntary context switches= 2956
# summary of solver processes directly reported to runsolver:
# pid: 1046825
# total CPU time (s): 3600.06
# total CPU user time (s): 3587.79
# total CPU system time (s): 12.266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3163 second user time and 35.2734 second system time
The end
Begin job on nodeC008 at 2024-07-20 09:31:30
IDJOB=4455480
IDBENCH=148100
IDSOLVER=3084
FILE ID=nodeC008/4455480-1721460678
RUNJOBID= nodeC008-1721460659-1046577
SLURM_JOB_ID= 7545711
Free space on /tmp= 723728 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4455480-1721460678/watcher-4455480-1721460678 -o /tmp/evaluation-result-4455480-1721460678/solver-4455480-1721460678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046577 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455480-1721460678.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1434916674
nodeC008.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 : 3605.973
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.91
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 : 3651.854
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.445
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.91
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.339
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 : 3629.534
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.91
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 : 3192.662
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.401
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.91
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.245
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: 127021284 kB
MemAvailable: 129470064 kB
Buffers: 595960 kB
Cached: 2678068 kB
SwapCached: 0 kB
Active: 1154844 kB
Inactive: 2880848 kB
Active(anon): 1508 kB
Inactive(anon): 806048 kB
Active(file): 1153336 kB
Inactive(file): 2074800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49884 kB
Writeback: 0 kB
AnonPages: 761448 kB
Mapped: 115968 kB
Shmem: 45896 kB
KReclaimable: 121348 kB
Slab: 227428 kB
SReclaimable: 121348 kB
SUnreclaim: 106080 kB
KernelStack: 3932 kB
PageTables: 10908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1174868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 368640 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: 203592 kB
DirectMap2M: 24866816 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC008 at 2024-07-20 10:31:42