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 (62339 MiB free)
memory of node 1: 64510 MiB (62235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462823-1722341710/watcher-4462823-1722341710 -o /tmp/evaluation-result-4462823-1722341710/solver-4462823-1722341710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6812 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462823-1722341710 --lp-cut-gomory=0 HOME/instance-4462823-1722341710.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7164, runsolver pid=7161
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 4.13 3.96 2.69 5/247 7165
/proc/meminfo: memFree=127509208/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=114836 memory=66680 CPUtime=0.09 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 8311 0 0 0 6 3 0 0 20 0 1 0 766616 117592064 16670 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 28709 16670 1296 992 0 20567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114836 KiB
Current children cumulated memory: 66680 KiB
[startup+0.205638 s]*
/proc/loadavg: 4.13 3.96 2.69 5/247 7165
/proc/meminfo: memFree=127515048/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=104764 memory=53632 CPUtime=0.2 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 8842 0 0 0 17 3 0 0 20 0 1 0 766616 107278336 13408 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 26191 13408 1296 992 0 18049 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104764 KiB
Current children cumulated memory: 53632 KiB
[startup+0.306664 s]*
/proc/loadavg: 4.13 3.96 2.69 5/247 7165
/proc/meminfo: memFree=127514376/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=104764 memory=54276 CPUtime=0.3 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 8993 0 0 0 26 4 0 0 20 0 1 0 766616 107278336 13569 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 26191 13569 1328 992 0 18049 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104764 KiB
Current children cumulated memory: 54276 KiB
[startup+0.70024 s]
/proc/loadavg: 4.12 3.96 2.70 5/247 7165
/proc/meminfo: memFree=127509128/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=108040 memory=60604 CPUtime=0.68 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 10054 0 0 0 53 15 0 0 20 0 1 0 766616 110632960 15151 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 27010 15151 1344 992 0 18868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108040 KiB
Current children cumulated memory: 60604 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 3.96 2.70 5/247 7165
/proc/meminfo: memFree=127500656/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=120640 memory=73216 CPUtime=1.48 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 12134 0 0 0 110 38 0 0 20 0 1 0 766616 123535360 18304 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 30160 18304 1344 992 0 22018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 73216 KiB
[startup+3.11279 s]
/proc/loadavg: 4.12 3.96 2.70 5/247 7165
/proc/meminfo: memFree=127319376/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=421676 memory=325308 CPUtime=3.09 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 54472 0 0 0 235 74 0 0 20 0 1 0 766616 431796224 81327 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 105419 81327 1678 992 0 97277 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 421676 KiB
Current children cumulated memory: 325308 KiB
[startup+6.30027 s]
/proc/loadavg: 4.11 3.97 2.70 5/247 7165
/proc/meminfo: memFree=127070288/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=562112 memory=490444 CPUtime=6.27 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 66809 0 0 0 533 94 0 0 20 0 1 0 766616 575602688 122611 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 140528 122611 1678 992 0 132386 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 562112 KiB
Current children cumulated memory: 490444 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 3.97 2.71 5/247 7166
/proc/meminfo: memFree=126997028/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=602968 memory=538036 CPUtime=12.64 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 70469 0 0 0 1160 104 0 0 20 0 1 0 766616 617439232 134509 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 150742 134509 1758 992 0 142600 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 602968 KiB
Current children cumulated memory: 538036 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 3.97 2.73 5/247 7168
/proc/meminfo: memFree=126934828/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=653196 memory=578996 CPUtime=25.39 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 74739 0 0 0 2430 109 0 0 20 0 1 0 766616 668872704 144749 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 163299 144749 1758 992 0 155157 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 653196 KiB
Current children cumulated memory: 578996 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 3.99 2.77 5/244 7173
/proc/meminfo: memFree=126275812/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=987984 memory=888648 CPUtime=50.93 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 109830 0 0 0 4933 160 0 0 20 0 1 0 766616 1011695616 222162 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 246996 222162 1819 992 0 238854 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 987984 KiB
Current children cumulated memory: 888648 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.02 2.85 5/249 7187
/proc/meminfo: memFree=124653564/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=1750692 memory=1616536 CPUtime=101.94 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 196965 0 0 0 9933 261 0 0 20 0 1 0 766616 1792708608 404134 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 437673 404134 1819 992 0 429531 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1750692 KiB
Current children cumulated memory: 1616536 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.03 2.93 5/249 7199
/proc/meminfo: memFree=122594280/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=2554044 memory=2355288 CPUtime=161.75 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 294915 0 0 0 15791 384 0 0 20 0 1 0 766616 2615341056 588822 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 638511 588822 1835 992 0 630369 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2554044 KiB
Current children cumulated memory: 2355288 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.08 3.02 5/249 7211
/proc/meminfo: memFree=120418304/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=3925284 memory=3367248 CPUtime=221.55 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 446032 0 0 0 21645 510 0 0 20 0 1 0 766616 4019490816 841812 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 981321 841812 1851 992 0 973179 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 3925284 KiB
Current children cumulated memory: 3367248 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.12 3.10 6/249 7223
/proc/meminfo: memFree=117850932/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=4133992 memory=3949140 CPUtime=281.35 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 482905 0 0 0 27502 633 0 0 20 0 1 0 766616 4233207808 987285 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 1033498 987285 1851 992 0 1025356 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 4133992 KiB
Current children cumulated memory: 3949140 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 3.16 5/249 7236
/proc/meminfo: memFree=116643640/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=5173644 memory=4238984 CPUtime=341.16 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 494918 0 0 0 33423 693 0 0 20 0 1 0 766616 5297811456 1059746 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 1293411 1059746 1851 992 0 1285269 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 5173644 KiB
Current children cumulated memory: 4238984 KiB
[startup+402.3 s]
/proc/loadavg: 4.87 4.32 3.30 5/245 7247
/proc/meminfo: memFree=116223560/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=5174132 memory=4253112 CPUtime=400.98 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 496083 0 0 0 39384 714 0 0 20 0 1 0 766616 5298311168 1063278 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 1293533 1063278 1851 992 0 1285391 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 5174132 KiB
Current children cumulated memory: 4253112 KiB
[startup+462.3 s]
/proc/loadavg: 4.39 4.29 3.36 5/245 7258
/proc/meminfo: memFree=114653944/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=6046440 memory=5124372 CPUtime=460.79 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 644905 0 0 0 45266 813 0 0 20 0 1 0 766616 6191554560 1281093 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 1511610 1281093 1851 992 0 1503468 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.27 4.32 4.22 4/267 9287
/proc/meminfo: memFree=64132104/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8913152 memory=8372000 CPUtime=3092.46 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 984908 0 0 0 304649 4597 0 0 20 0 1 0 766616 9127067648 2093000 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2228288 2093000 1851 992 0 2220146 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 8913152 KiB
Current children cumulated memory: 8372000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.31 4.22 5/267 9297
/proc/meminfo: memFree=62133324/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8913152 memory=8372000 CPUtime=3152.26 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 986632 0 0 0 310506 4720 0 0 20 0 1 0 766616 9127067648 2093000 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2228288 2093000 1851 992 0 2220146 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 8913152 KiB
Current children cumulated memory: 8372000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.75 4.43 4.27 4/267 9309
/proc/meminfo: memFree=59400576/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8913152 memory=8372000 CPUtime=3212.06 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 989295 0 0 0 316356 4850 0 0 20 0 1 0 766616 9127067648 2093000 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2228288 2093000 1851 992 0 2220146 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 8913152 KiB
Current children cumulated memory: 8372000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.58 4.46 4.29 5/267 9320
/proc/meminfo: memFree=55492112/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8913152 memory=8372000 CPUtime=3271.87 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 992081 0 0 0 322246 4941 0 0 20 0 1 0 766616 9127067648 2093000 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2228288 2093000 1851 992 0 2220146 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 8913152 KiB
Current children cumulated memory: 8372000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.52 4.48 4.30 5/248 9336
/proc/meminfo: memFree=52518684/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8917972 memory=8372060 CPUtime=3331.68 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 995018 0 0 0 328158 5010 0 0 20 0 1 0 766616 9132003328 2093015 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2229493 2093015 1851 992 0 2221351 0
Current children cumulated CPU time: 3331.68 s
Current children cumulated vsize: 8917972 KiB
Current children cumulated memory: 8372060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.43 4.30 5/246 9349
/proc/meminfo: memFree=49033008/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8917972 memory=8372060 CPUtime=3391.49 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 997050 0 0 0 334001 5148 0 0 20 0 1 0 766616 9132003328 2093015 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2229493 2093015 1851 992 0 2221351 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 8917972 KiB
Current children cumulated memory: 8372060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.37 4.28 5/246 9360
/proc/meminfo: memFree=45015616/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8919764 memory=8377324 CPUtime=3451.29 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1000322 0 0 0 339867 5262 0 0 20 0 1 0 766616 9133838336 2094331 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2229941 2094331 1851 992 0 2221799 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 8919764 KiB
Current children cumulated memory: 8377324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.33 4.27 4/252 9376
/proc/meminfo: memFree=40737960/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8377376 CPUtime=3511.09 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1002620 0 0 0 345748 5361 0 0 20 0 1 0 766616 9138765824 2094344 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094344 1851 992 0 2223002 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8377376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.30 4.26 5/252 9386
/proc/meminfo: memFree=36994360/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378656 CPUtime=3570.9 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1006710 0 0 0 351617 5473 0 0 20 0 1 0 766616 9138765824 2094664 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094664 1851 992 0 2223002 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.11 4.27 4.26 5/252 9391
/proc/meminfo: memFree=35478664/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378700 CPUtime=3600 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1007689 0 0 0 354481 5519 0 0 20 0 1 0 766616 9138765824 2094675 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094675 1851 992 0 2223002 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3618.02 s]
# the end of solver process 7164 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3546.82 s, system=55.3554 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.27 4.25 4/252 9391
/proc/meminfo: memFree=35459452/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378700 CPUtime=3601.3 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1007697 0 0 0 354610 5520 0 0 20 0 1 0 766616 9138765824 2094675 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094675 1851 992 0 2223002 0
Current children cumulated CPU time: 3601.3 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378700 KiB
[startup+3613.2 s]
/proc/loadavg: 4.10 4.27 4.25 5/252 9391
/proc/meminfo: memFree=35433512/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378700 CPUtime=3601.7 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1007697 0 0 0 354650 5520 0 0 20 0 1 0 766616 9138765824 2094675 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094675 1851 992 0 2223002 0
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378700 KiB
[startup+3613.4 s]
/proc/loadavg: 4.10 4.27 4.25 5/252 9391
/proc/meminfo: memFree=35433512/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378700 CPUtime=3601.9 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1007697 0 0 0 354670 5520 0 0 20 0 1 0 766616 9138765824 2094675 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094675 1851 992 0 2223002 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378700 KiB
[startup+3613.5 s]
/proc/loadavg: 4.10 4.27 4.25 5/252 9391
/proc/meminfo: memFree=35433512/131655788 swapFree=131071996/131071996
[pid=7164] ppid=7161 vsize=8924576 memory=8378700 CPUtime=3602 cores=0,2
/proc/7164/stat : 7164 (roundingsat) R 7161 7164 6802 0 -1 4194304 1007705 0 0 0 354680 5520 0 0 20 0 1 0 766616 9138765824 2094675 134679101440 4194304 8255733 140723000181552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26861568 140723000185694 140723000185956 140723000185956 140723000192969 0
/proc/7164/statm: 2231144 2094675 1851 992 0 2223002 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 8924576 KiB
Current children cumulated memory: 8378700 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3618.02
CPU time (s): 3602.17
CPU user time (s): 3546.82
CPU system time (s): 55.3554
CPU usage (%): 99.5621
Max. virtual memory (cumulated for all children) (KiB): 8924576
Max. memory (cumulated for all children) (KiB): 8378700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.82
system time used= 55.3554
maximum resident set size= 8378760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135157408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26077
involuntary context switches= 25205
# summary of solver processes directly reported to runsolver:
# pid: 7164
# total CPU time (s): 3602.17
# total CPU user time (s): 3546.82
# total CPU system time (s): 55.3554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1751 second user time and 35.4077 second system time
The end
Begin job on nodeC002 at 2024-07-30 14:15:10
IDJOB=4462823
IDBENCH=155649
IDSOLVER=3089
FILE ID=nodeC002/4462823-1722341710
RUNJOBID= nodeC002-1722340763-6812
SLURM_JOB_ID= 8248982
Free space on /tmp= 723736 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_2_mh.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-4462823-1722341710/watcher-4462823-1722341710 -o /tmp/evaluation-result-4462823-1722341710/solver-4462823-1722341710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6812 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462823-1722341710 --lp-cut-gomory=0 HOME/instance-4462823-1722341710.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf21db10fee940c0850751abd4bd733b
RANDOM SEED=2076811527
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
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.65
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 : 3518.180
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.23
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 : 3491.828
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.65
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.260
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.23
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 : 3528.801
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.65
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 : 3662.717
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.23
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.299
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.65
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.213
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127564728 kB
MemAvailable: 129389176 kB
Buffers: 46048 kB
Cached: 2622528 kB
SwapCached: 0 kB
Active: 141468 kB
Inactive: 3524896 kB
Active(anon): 1916 kB
Inactive(anon): 1025120 kB
Active(file): 139552 kB
Inactive(file): 2499776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54524 kB
Writeback: 0 kB
AnonPages: 993528 kB
Mapped: 101748 kB
Shmem: 29512 kB
KReclaimable: 50300 kB
Slab: 124604 kB
SReclaimable: 50300 kB
SUnreclaim: 74304 kB
KernelStack: 3984 kB
PageTables: 11164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1424908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 735232 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: 152392 kB
DirectMap2M: 10237952 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC002 at 2024-07-30 15:15:28