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: 63837 MiB (62857 MiB free)
  memory of node 1: 64465 MiB (63687 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488877-1751331827/watcher-4488877-1751331827 -o /tmp/evaluation-result-4488877-1751331827/solver-4488877-1751331827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56026 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4488877-1751331827.opb -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=58198, runsolver pid=58195

[startup+0.100078 s]*
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129580348/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=6732 memory=5888 CPUtime=0.1 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 1086 0 0 0 10 0 0 0 20 0 1 0 48861887 6893568 1472 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 1683 1472 480 484 0 1094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6732 KiB
Current children cumulated memory: 5888 KiB

[startup+0.213631 s]*
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129580348/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=6732 memory=5888 CPUtime=0.21 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 1086 0 0 0 21 0 0 0 20 0 1 0 48861887 6893568 1472 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 1683 1472 480 484 0 1094 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 6732 KiB
Current children cumulated memory: 5888 KiB

[startup+0.312842 s]*
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129580348/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=6732 memory=6016 CPUtime=0.31 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 1088 0 0 0 31 0 0 0 20 0 1 0 48861887 6893568 1504 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 1683 1504 512 484 0 1094 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 6732 KiB
Current children cumulated memory: 6016 KiB

[startup+0.700292 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129580348/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=7948 memory=7244 CPUtime=0.68 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 1490 0 0 0 68 0 0 0 20 0 1 0 48861887 8138752 1811 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 1987 1811 512 484 0 1398 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 7948 KiB
Current children cumulated memory: 7244 KiB

[startup+1.50028 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129580096/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=10232 memory=9492 CPUtime=1.48 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 3011 0 0 0 147 1 0 0 20 0 1 0 48861887 10477568 2373 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 2558 2373 512 484 0 1969 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10232 KiB
Current children cumulated memory: 9492 KiB

[startup+3.11325 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129576856/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=15096 memory=14360 CPUtime=3.09 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 5476 0 0 0 308 1 0 0 20 0 1 0 48861887 15458304 3590 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 3774 3590 512 484 0 3185 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 15096 KiB
Current children cumulated memory: 14360 KiB

[startup+6.3003 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 58199
/proc/meminfo: memFree=129571312/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=15836 memory=15084 CPUtime=6.27 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 9364 0 0 0 625 2 0 0 20 0 1 0 48861887 16216064 3771 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 3959 3771 512 484 0 3370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 15836 KiB
Current children cumulated memory: 15084 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.08 5/251 58199
/proc/meminfo: memFree=129548536/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=18504 memory=17752 CPUtime=12.64 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 12928 0 0 0 1262 2 0 0 20 0 1 0 48861887 18948096 4438 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 4626 4438 512 484 0 4037 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 18504 KiB
Current children cumulated memory: 17752 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.07 4.08 5/251 58199
/proc/meminfo: memFree=129548296/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=27652 memory=26880 CPUtime=25.4 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 16348 0 0 0 2537 3 0 0 20 0 1 0 48861887 28315648 6720 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 6913 6720 512 484 0 6324 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 27652 KiB
Current children cumulated memory: 26880 KiB

[startup+51.1132 s]
/proc/loadavg: 4.10 4.08 4.09 5/251 58200
/proc/meminfo: memFree=129533868/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=31764 memory=31032 CPUtime=50.94 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 22388 0 0 0 5090 4 0 0 20 0 1 0 48861887 32526336 7758 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 7941 7758 512 484 0 7352 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 31764 KiB
Current children cumulated memory: 31032 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/252 58203
/proc/meminfo: memFree=129512524/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=33448 memory=32244 CPUtime=101.96 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 33182 0 0 0 10189 7 0 0 20 0 1 0 48861887 34250752 8061 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 8362 8061 512 484 0 7773 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 33448 KiB
Current children cumulated memory: 32244 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/252 58209
/proc/meminfo: memFree=129444832/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=49868 memory=49024 CPUtime=161.77 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 44081 0 0 0 16165 12 0 0 20 0 1 0 48861887 51064832 12256 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 12467 12256 512 484 0 11878 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 49868 KiB
Current children cumulated memory: 49024 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/251 58210
/proc/meminfo: memFree=129419152/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=57232 memory=56448 CPUtime=221.58 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 48355 0 0 0 22144 14 0 0 20 0 1 0 48861887 58605568 14112 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 14308 14112 512 484 0 13719 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 57232 KiB
Current children cumulated memory: 56448 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/251 58212
/proc/meminfo: memFree=129361532/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=59392 memory=58660 CPUtime=281.4 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 51380 0 0 0 28125 15 0 0 20 0 1 0 48861887 60817408 14665 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 14848 14665 512 484 0 14259 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 59392 KiB
Current children cumulated memory: 58660 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 58214
/proc/meminfo: memFree=129383932/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=73544 memory=72704 CPUtime=341.22 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 54353 0 0 0 34106 16 0 0 20 0 1 0 48861887 75309056 18176 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 18386 18176 512 484 0 17797 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 73544 KiB
Current children cumulated memory: 72704 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 58216
/proc/meminfo: memFree=129350948/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=73544 memory=72812 CPUtime=401.05 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 56173 0 0 0 40088 17 0 0 20 0 1 0 48861887 75309056 18203 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 18386 18203 512 484 0 17797 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 73544 KiB
Current children cumulated memory: 72812 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 58218
/proc/meminfo: memFree=129346848/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=57500 memory=56248 CPUtime=460.85 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 59927 0 0 0 46066 19 0 0 20 0 1 0 48861887 58880000 14062 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 14375 14062 512 484 0 13786 0
Current children cumulated CPU time: 460.85 s

################
# More data... #
################

Current children cumulated memory: 125744 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 58376
/proc/meminfo: memFree=129128900/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=160528 memory=159704 CPUtime=2853.64 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 118999 0 0 0 285293 71 0 0 20 0 1 0 48861887 164380672 39926 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 40132 39926 512 484 0 39543 0
Current children cumulated CPU time: 2853.64 s
Current children cumulated vsize: 160528 KiB
Current children cumulated memory: 159704 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 58378
/proc/meminfo: memFree=129083908/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=160528 memory=159756 CPUtime=2913.43 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 119724 0 0 0 291272 71 0 0 20 0 1 0 48861887 164380672 39939 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 40132 39939 512 484 0 39543 0
Current children cumulated CPU time: 2913.43 s
Current children cumulated vsize: 160528 KiB
Current children cumulated memory: 159756 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 58380
/proc/meminfo: memFree=129012112/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=195736 memory=194932 CPUtime=2973.26 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 120352 0 0 0 297254 72 0 0 20 0 1 0 48861887 200433664 48733 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48934 48733 512 484 0 48345 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 194932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 58385
/proc/meminfo: memFree=129055180/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=194828 memory=194024 CPUtime=3033.09 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 121327 0 0 0 303236 73 0 0 20 0 1 0 48861887 199503872 48506 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48707 48506 512 484 0 48118 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 194828 KiB
Current children cumulated memory: 194024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/251 58387
/proc/meminfo: memFree=129026392/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=166084 memory=165208 CPUtime=3092.93 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 121704 0 0 0 309220 73 0 0 20 0 1 0 48861887 170070016 41302 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 41521 41302 512 484 0 40932 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 166084 KiB
Current children cumulated memory: 165208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 58393
/proc/meminfo: memFree=129095036/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=131936 memory=131292 CPUtime=3152.76 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 122456 0 0 0 315202 74 0 0 20 0 1 0 48861887 135102464 32823 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 32984 32823 512 484 0 32395 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 131936 KiB
Current children cumulated memory: 131292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 58395
/proc/meminfo: memFree=129038620/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=149968 memory=146124 CPUtime=3212.6 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 124898 0 0 0 321184 76 0 0 20 0 1 0 48861887 153567232 36531 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 37492 36531 512 484 0 36903 0
Current children cumulated CPU time: 3212.6 s
Current children cumulated vsize: 149968 KiB
Current children cumulated memory: 146124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.10 4.10 5/250 58397
/proc/meminfo: memFree=129051716/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=150956 memory=147112 CPUtime=3272.43 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 125594 0 0 0 327166 77 0 0 20 0 1 0 48861887 154578944 36778 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 37739 36778 512 484 0 37150 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 150956 KiB
Current children cumulated memory: 147112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.65 4.24 4.14 5/250 58399
/proc/meminfo: memFree=129050864/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=135904 memory=135132 CPUtime=3332.26 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 127421 0 0 0 333148 78 0 0 20 0 1 0 48861887 139165696 33783 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 33976 33783 512 484 0 33387 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 135904 KiB
Current children cumulated memory: 135132 KiB

[startup+3402.3 s]
/proc/loadavg: 4.42 4.27 4.16 5/250 58401
/proc/meminfo: memFree=129031264/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=192040 memory=191192 CPUtime=3392.1 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 128740 0 0 0 339130 80 0 0 20 0 1 0 48861887 196648960 47798 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48010 47798 512 484 0 47421 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 191192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.23 4.15 5/250 58414
/proc/meminfo: memFree=129063888/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=192040 memory=191192 CPUtime=3451.93 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 128750 0 0 0 345113 80 0 0 20 0 1 0 48861887 196648960 47798 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48010 47798 512 484 0 47421 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 191192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/250 58416
/proc/meminfo: memFree=129024348/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=192040 memory=191192 CPUtime=3511.75 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 128751 0 0 0 351095 80 0 0 20 0 1 0 48861887 196648960 47798 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48010 47798 512 484 0 47421 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 191192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/250 58418
/proc/meminfo: memFree=129052060/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=192040 memory=191192 CPUtime=3571.58 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 128816 0 0 0 357078 80 0 0 20 0 1 0 48861887 196648960 47798 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48010 47798 512 484 0 47421 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 191192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.78 4.11 4.12 3/239 58482
/proc/meminfo: memFree=129413668/131382112 swapFree=33010684/33010684
[pid=58198] ppid=58195 vsize=192040 memory=191192 CPUtime=3600 cores=1,3
/proc/58198/stat : 58198 (uwrmaxsat) R 58195 58198 56014 0 -1 4194304 128838 0 0 0 359920 80 0 0 20 0 1 0 48861887 196648960 47798 18446744073709551615 4198400 6176925 140723552739040 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 20643840 140723552741738 140723552741865 140723552741865 140723552747467 0
/proc/58198/statm: 48010 47798 512 484 0 47421 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 191192 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.8 s]
# the end of solver process 58198 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.21 s, system=0.804616 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.01
CPU user time (s): 3599.21
CPU system time (s): 0.804616
CPU usage (%): 99.7011
Max. virtual memory (cumulated for all children) (KiB): 221144
Max. memory (cumulated for all children) (KiB): 220248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.21
system time used= 0.804616
maximum resident set size= 220248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128841
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= 45
involuntary context switches= 1634


# summary of solver processes directly reported to runsolver:
#   pid: 58198
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.21
#   total CPU system time (s): 0.804616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3717 second user time and 35.1958 second system time

The end