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 (57202 MiB free)
memory of node 1: 64510 MiB (57448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463256-1722348271/watcher-4463256-1722348271 -o /tmp/evaluation-result-4463256-1722348271/solver-4463256-1722348271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6582 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463256-1722348271 --lp-cut-gomory=0 HOME/instance-4463256-1722348271.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=11869, runsolver pid=11866
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.42 4.23 4.14 5/259 11870
/proc/meminfo: memFree=117396020/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=40732 memory=11032 CPUtime=0.1 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 1263 0 0 0 8 2 0 0 20 0 1 0 1428787 41709568 2758 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 10183 2758 1845 992 0 2041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 11032 KiB
[startup+0.205806 s]*
/proc/loadavg: 4.42 4.23 4.14 5/259 11870
/proc/meminfo: memFree=117391732/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=41428 memory=12076 CPUtime=0.2 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 1533 0 0 0 17 3 0 0 20 0 1 0 1428787 42422272 3019 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 10357 3019 1845 992 0 2215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 12076 KiB
[startup+0.305816 s]*
/proc/loadavg: 4.42 4.23 4.14 5/259 11870
/proc/meminfo: memFree=117390948/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=41560 memory=12340 CPUtime=0.3 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 1562 0 0 0 26 4 0 0 20 0 1 0 1428787 42557440 3085 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 10390 3085 1845 992 0 2248 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 12340 KiB
[startup+0.700219 s]
/proc/loadavg: 4.42 4.23 4.14 5/259 11870
/proc/meminfo: memFree=117384364/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=42512 memory=15440 CPUtime=0.69 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 1841 0 0 0 61 8 0 0 20 0 1 0 1428787 43532288 3860 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 10628 3860 1845 992 0 2486 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42512 KiB
Current children cumulated memory: 15440 KiB
[startup+1.50023 s]
/proc/loadavg: 4.42 4.23 4.14 5/259 11872
/proc/meminfo: memFree=117373388/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=44232 memory=17024 CPUtime=1.48 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 2219 0 0 0 131 17 0 0 20 0 1 0 1428787 45293568 4256 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 11058 4256 1845 992 0 2916 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44232 KiB
Current children cumulated memory: 17024 KiB
[startup+3.10573 s]
/proc/loadavg: 4.42 4.23 4.14 5/259 11872
/proc/meminfo: memFree=117332764/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=46184 memory=19132 CPUtime=3.08 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 2744 0 0 0 276 32 0 0 20 0 1 0 1428787 47292416 4783 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 11546 4783 1845 992 0 3404 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46184 KiB
Current children cumulated memory: 19132 KiB
[startup+6.30021 s]
/proc/loadavg: 4.38 4.22 4.14 5/259 11872
/proc/meminfo: memFree=117273520/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=49076 memory=22024 CPUtime=6.27 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 3459 0 0 0 579 48 0 0 20 0 1 0 1428787 50253824 5506 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 12269 5506 1845 992 0 4127 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 22024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.22 4.14 5/259 11873
/proc/meminfo: memFree=117212468/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=52028 memory=25448 CPUtime=12.64 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 4381 0 0 0 1190 74 0 0 20 0 1 0 1428787 53276672 6362 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 13007 6362 1845 992 0 4865 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 52028 KiB
Current children cumulated memory: 25448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.23 4.14 5/259 11875
/proc/meminfo: memFree=117061112/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=57404 memory=28488 CPUtime=25.41 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 5100 0 0 0 2422 119 0 0 20 0 1 0 1428787 58781696 7122 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 14351 7122 1845 992 0 6209 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57404 KiB
Current children cumulated memory: 28488 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.21 4.13 5/259 12067
/proc/meminfo: memFree=122418572/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=65072 memory=36528 CPUtime=50.91 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 6664 0 0 0 4899 192 0 0 20 0 1 0 1428787 66633728 9132 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 16268 9132 1914 992 0 8126 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 65072 KiB
Current children cumulated memory: 36528 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 4.29 4.17 5/259 12074
/proc/meminfo: memFree=121963552/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=68328 memory=39396 CPUtime=101.93 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 9018 0 0 0 9896 297 0 0 20 0 1 0 1428787 69967872 9849 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 17082 9849 1914 992 0 8940 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 68328 KiB
Current children cumulated memory: 39396 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.28 4.17 5/259 12086
/proc/meminfo: memFree=121874172/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=74352 memory=47020 CPUtime=161.72 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 10462 0 0 0 15788 384 0 0 20 0 1 0 1428787 76136448 11755 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 18588 11755 1914 992 0 10446 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 74352 KiB
Current children cumulated memory: 47020 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.24 4.17 5/258 12097
/proc/meminfo: memFree=121812432/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=76680 memory=48852 CPUtime=221.51 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 11024 0 0 0 21717 434 0 0 20 0 1 0 1428787 78520320 12213 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 19170 12213 1914 992 0 11028 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 76680 KiB
Current children cumulated memory: 48852 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.21 4.16 5/257 12108
/proc/meminfo: memFree=121761140/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=77960 memory=50044 CPUtime=281.3 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 11553 0 0 0 27646 484 0 0 20 0 1 0 1428787 79831040 12511 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 19490 12511 1914 992 0 11348 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 77960 KiB
Current children cumulated memory: 50044 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.16 5/260 12123
/proc/meminfo: memFree=121415316/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=78728 memory=50856 CPUtime=341.09 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 11950 0 0 0 33585 524 0 0 20 0 1 0 1428787 80617472 12714 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 19682 12714 1914 992 0 11540 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 78728 KiB
Current children cumulated memory: 50856 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/261 12139
/proc/meminfo: memFree=121016448/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=88980 memory=57640 CPUtime=400.87 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 13175 0 0 0 39543 544 0 0 20 0 1 0 1428787 91115520 14410 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 22245 14410 1914 992 0 14103 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 88980 KiB
Current children cumulated memory: 57640 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.19 4.16 5/261 12149
/proc/meminfo: memFree=120332092/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=93660 memory=62840 CPUtime=460.65 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 13948 0 0 0 45506 559 0 0 20 0 1 0 1428787 95907840 15710 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 23415 15710 1914 992 0 15273 0
################
# More data... #
################
Current children cumulated memory: 107752 KiB
[startup+2922.3 s]
/proc/loadavg: 3.13 3.14 3.27 4/254 13394
/proc/meminfo: memFree=117219384/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=150564 memory=107924 CPUtime=2912.32 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 23099 0 0 0 290345 887 0 0 20 0 1 0 1428787 154177536 26981 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 37641 26981 1914 992 0 29499 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 150564 KiB
Current children cumulated memory: 107924 KiB
[startup+2982.3 s]
/proc/loadavg: 3.10 3.12 3.26 4/254 13405
/proc/meminfo: memFree=116833384/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=151336 memory=110448 CPUtime=2972.13 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 23298 0 0 0 296321 892 0 0 20 0 1 0 1428787 154968064 27612 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 37834 27612 1914 992 0 29692 0
Current children cumulated CPU time: 2972.13 s
Current children cumulated vsize: 151336 KiB
Current children cumulated memory: 110448 KiB
[startup+3042.3 s]
/proc/loadavg: 3.08 3.11 3.25 4/252 13416
/proc/meminfo: memFree=116534120/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=152364 memory=111008 CPUtime=3031.93 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 23550 0 0 0 302298 895 0 0 20 0 1 0 1428787 156020736 27752 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38091 27752 1914 992 0 29949 0
Current children cumulated CPU time: 3031.93 s
Current children cumulated vsize: 152364 KiB
Current children cumulated memory: 111008 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.12 3.24 4/252 13810
/proc/meminfo: memFree=116491384/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=153136 memory=111412 CPUtime=3091.75 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 23749 0 0 0 308275 900 0 0 20 0 1 0 1428787 156811264 27853 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38284 27853 1914 992 0 30142 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 153136 KiB
Current children cumulated memory: 111412 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.13 3.24 4/251 13822
/proc/meminfo: memFree=116440712/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=153136 memory=113536 CPUtime=3151.55 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 23834 0 0 0 314250 905 0 0 20 0 1 0 1428787 156811264 28384 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38284 28384 1914 992 0 30142 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 153136 KiB
Current children cumulated memory: 113536 KiB
[startup+3222.3 s]
/proc/loadavg: 3.15 3.13 3.23 4/251 13833
/proc/meminfo: memFree=116401824/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154424 memory=114248 CPUtime=3211.35 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24106 0 0 0 320223 912 0 0 20 0 1 0 1428787 158130176 28562 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38606 28562 1914 992 0 30464 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 114248 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.10 3.21 4/254 14014
/proc/meminfo: memFree=116360356/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154424 memory=114328 CPUtime=3271.14 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24180 0 0 0 326199 915 0 0 20 0 1 0 1428787 158130176 28582 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38606 28582 1914 992 0 30464 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 114328 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.21 4/254 14024
/proc/meminfo: memFree=116314548/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154424 memory=116456 CPUtime=3330.94 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24254 0 0 0 332174 920 0 0 20 0 1 0 1428787 158130176 29114 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38606 29114 1914 992 0 30464 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 116456 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.11 3.20 4/253 14049
/proc/meminfo: memFree=116252004/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154424 memory=116576 CPUtime=3390.74 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24339 0 0 0 338150 924 0 0 20 0 1 0 1428787 158130176 29144 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38606 29144 1914 992 0 30464 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 116576 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.10 3.18 4/254 14060
/proc/meminfo: memFree=116189184/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154752 memory=117084 CPUtime=3450.53 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24563 0 0 0 344120 933 0 0 20 0 1 0 1428787 158466048 29271 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38688 29271 1914 992 0 30546 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 117084 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.10 3.18 4/254 14070
/proc/meminfo: memFree=116132524/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154752 memory=117084 CPUtime=3510.33 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24601 0 0 0 350093 940 0 0 20 0 1 0 1428787 158466048 29271 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38688 29271 1914 992 0 30546 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 117084 KiB
[startup+3582.3 s]
/proc/loadavg: 3.22 3.13 3.18 4/252 14081
/proc/meminfo: memFree=116087032/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154752 memory=117084 CPUtime=3570.13 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24639 0 0 0 356067 946 0 0 20 0 1 0 1428787 158466048 29271 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38688 29271 1914 992 0 30546 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 117084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 3.28 3.15 3.19 4/252 14086
/proc/meminfo: memFree=116081232/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154752 memory=117084 CPUtime=3600.03 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24679 0 0 0 359053 950 0 0 20 0 1 0 1428787 158466048 29271 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38688 29271 1914 992 0 30546 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 117084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 11869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.54 s, system=9.51066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 3.28 3.15 3.19 4/252 14086
/proc/meminfo: memFree=116081232/131524600 swapFree=131071996/131071996
[pid=11869] ppid=11866 vsize=154752 memory=117084 CPUtime=3600.03 cores=0,2
/proc/11869/stat : 11869 (roundingsat) R 11866 11869 6572 0 -1 4194304 24679 0 0 0 359053 950 0 0 20 0 1 0 1428787 158466048 29271 134679101440 4194304 8255733 140734553275872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 31408128 140734553281374 140734553281636 140734553281636 140734553288649 0
/proc/11869/statm: 38688 29271 1914 992 0 30546 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 154752 KiB
Current children cumulated memory: 117084 KiB
Child status: 0
Real time (s): 3612.31
CPU time (s): 3600.05
CPU user time (s): 3590.54
CPU system time (s): 9.51066
CPU usage (%): 99.6607
Max. virtual memory (cumulated for all children) (KiB): 155268
Max. memory (cumulated for all children) (KiB): 117132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.54
system time used= 9.51066
maximum resident set size= 117132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1013056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 25383
# summary of solver processes directly reported to runsolver:
# pid: 11869
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.54
# total CPU system time (s): 9.51066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42443 second user time and 17.3518 second system time
The end
Begin job on nodeC031 at 2024-07-30 16:04:31
IDJOB=4463256
IDBENCH=176039
IDSOLVER=3089
FILE ID=nodeC031/4463256-1722348271
RUNJOBID= nodeC031-1722340763-6582
SLURM_JOB_ID= 8249004
Free space on /tmp= 889888 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-4463256-1722348271/watcher-4463256-1722348271 -o /tmp/evaluation-result-4463256-1722348271/solver-4463256-1722348271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6582 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463256-1722348271 --lp-cut-gomory=0 HOME/instance-4463256-1722348271.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=660769194
nodeC031.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 : 3639.701
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.95
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 : 3686.927
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 : 7007.12
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 : 3654.701
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.95
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.348
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 : 7007.12
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 : 3661.372
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.95
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 : 3687.004
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 : 7007.12
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 : 3604.923
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.95
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 : 3600.243
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117402508 kB
MemAvailable: 126036140 kB
Buffers: 53340 kB
Cached: 9404688 kB
SwapCached: 0 kB
Active: 345988 kB
Inactive: 13278668 kB
Active(anon): 1564 kB
Inactive(anon): 4186164 kB
Active(file): 344424 kB
Inactive(file): 9092504 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12448 kB
Writeback: 0 kB
AnonPages: 4161036 kB
Mapped: 97752 kB
Shmem: 21336 kB
KReclaimable: 72700 kB
Slab: 153644 kB
SReclaimable: 72700 kB
SUnreclaim: 80944 kB
KernelStack: 4156 kB
PageTables: 17392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4883892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8416 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3198976 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC031 at 2024-07-30 17:04:43