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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484737-1751284988/watcher-4484737-1751284988 -o /tmp/evaluation-result-4484737-1751284988/solver-4484737-1751284988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751281373-37961 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484737-1751284988.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=38356, runsolver pid=38353

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.09 4.01 5/245 38368
/proc/meminfo: memFree=129162388/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=11088 memory=10112 CPUtime=0.11 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 2176 0 0 0 10 1 0 0 20 0 1 0 44178183 11354112 2528 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 2772 2528 448 484 0 2183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 11088 KiB
Current children cumulated memory: 10112 KiB

[startup+0.214156 s]*
/proc/loadavg: 4.11 4.09 4.01 4/243 38375
/proc/meminfo: memFree=129154304/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=19020 memory=18048 CPUtime=0.21 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 4178 0 0 0 19 2 0 0 20 0 1 0 44178183 19476480 4512 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 4755 4512 448 484 0 4166 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19020 KiB
Current children cumulated memory: 18048 KiB

[startup+0.314052 s]*
/proc/loadavg: 4.11 4.09 4.01 3/243 38377
/proc/meminfo: memFree=129176440/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=27028 memory=25984 CPUtime=0.32 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 6160 0 0 0 29 3 0 0 20 0 1 0 44178183 27676672 6496 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 6757 6496 448 484 0 6168 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 27028 KiB
Current children cumulated memory: 25984 KiB

[startup+0.70028 s]
/proc/loadavg: 4.11 4.09 4.01 4/245 38384
/proc/meminfo: memFree=129156028/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=56544 memory=55552 CPUtime=0.69 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 13535 0 0 0 63 6 0 0 20 0 1 0 44178183 57901056 13888 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 14136 13888 448 484 0 13547 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 55552 KiB

[startup+1.5003 s]
/proc/loadavg: 4.11 4.09 4.01 4/249 38396
/proc/meminfo: memFree=129081944/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=90716 memory=89064 CPUtime=1.48 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 24455 0 0 0 139 9 0 0 20 0 1 0 44178183 92893184 22266 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 22679 22266 544 484 0 22090 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90716 KiB
Current children cumulated memory: 89064 KiB

[startup+3.11267 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128957020/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=91368 memory=89828 CPUtime=3.08 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 28154 0 0 0 298 10 0 0 20 0 1 0 44178183 93560832 22457 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 22842 22457 544 484 0 22253 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 89828 KiB

[startup+6.30031 s]
/proc/loadavg: 4.10 4.08 4.01 5/251 38427
/proc/meminfo: memFree=128935428/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=92264 memory=90752 CPUtime=6.27 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 34161 0 0 0 615 12 0 0 20 0 1 0 44178183 94478336 22688 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 23066 22688 544 484 0 22477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 92264 KiB
Current children cumulated memory: 90752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.12 4.02 5/251 38427
/proc/meminfo: memFree=128931332/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=104032 memory=102492 CPUtime=12.65 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 37258 0 0 0 1252 13 0 0 20 0 1 0 44178183 106528768 25623 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 26008 25623 544 484 0 25419 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104032 KiB
Current children cumulated memory: 102492 KiB

[startup+25.5004 s]
/proc/loadavg: 4.35 4.15 4.04 5/251 38427
/proc/meminfo: memFree=128924596/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=103084 memory=101736 CPUtime=25.41 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 42509 0 0 0 2527 14 0 0 20 0 1 0 44178183 105558016 25434 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 25771 25434 544 484 0 25182 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 103084 KiB
Current children cumulated memory: 101736 KiB

[startup+51.1128 s]
/proc/loadavg: 4.42 4.18 4.05 5/251 38427
/proc/meminfo: memFree=128907976/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=113844 memory=112568 CPUtime=50.94 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 50140 0 0 0 5078 16 0 0 20 0 1 0 44178183 116576256 28142 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 28461 28142 544 484 0 27872 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 113844 KiB
Current children cumulated memory: 112568 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/251 38475
/proc/meminfo: memFree=129303960/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=102568 memory=101780 CPUtime=101.97 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 51591 0 0 0 10180 17 0 0 20 0 1 0 44178183 105029632 25445 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 25642 25445 544 484 0 25053 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 102568 KiB
Current children cumulated memory: 101780 KiB

[startup+162.3 s]
/proc/loadavg: 4.65 4.29 4.10 5/252 38478
/proc/meminfo: memFree=129249880/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=131188 memory=130444 CPUtime=161.75 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 53650 0 0 0 16156 19 0 0 20 0 1 0 44178183 134336512 32611 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 32797 32611 544 484 0 32208 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 131188 KiB
Current children cumulated memory: 130444 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 4.31 4.12 5/252 38480
/proc/meminfo: memFree=129247060/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=137704 memory=136972 CPUtime=221.58 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 57905 0 0 0 22138 20 0 0 20 0 1 0 44178183 141008896 34243 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 34426 34243 544 484 0 33837 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 137704 KiB
Current children cumulated memory: 136972 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.27 4.11 5/251 38482
/proc/meminfo: memFree=129205556/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=138032 memory=137228 CPUtime=281.39 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 57988 0 0 0 28119 20 0 0 20 0 1 0 44178183 141344768 34307 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 34508 34307 544 484 0 33919 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 138032 KiB
Current children cumulated memory: 137228 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.25 4.11 5/251 38484
/proc/meminfo: memFree=129177064/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=138032 memory=137228 CPUtime=341.2 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 58047 0 0 0 34100 20 0 0 20 0 1 0 44178183 141344768 34307 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 34508 34307 544 484 0 33919 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 138032 KiB
Current children cumulated memory: 137228 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.20 4.10 5/252 38493
/proc/meminfo: memFree=129173332/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=140272 memory=139532 CPUtime=401.02 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 58666 0 0 0 40082 20 0 0 20 0 1 0 44178183 143638528 34883 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 35068 34883 544 484 0 34479 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 140272 KiB
Current children cumulated memory: 139532 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.18 4.10 5/251 38496
/proc/meminfo: memFree=129168504/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=141560 memory=140812 CPUtime=460.84 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 59047 0 0 0 46063 21 0 0 20 0 1 0 44178183 144957440 35203 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 35390 35203 544 484 0 34801 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 181012 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/251 38609
/proc/meminfo: memFree=128990576/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=189896 memory=188948 CPUtime=2854.26 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 96599 0 0 0 285369 57 0 0 20 0 1 0 44178183 194453504 47237 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 47474 47237 544 484 0 46885 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 189896 KiB
Current children cumulated memory: 188948 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/251 38611
/proc/meminfo: memFree=129004664/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=140496 memory=139096 CPUtime=2914.09 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 97545 0 0 0 291351 58 0 0 20 0 1 0 44178183 143867904 34774 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 35124 34774 544 484 0 34535 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 140496 KiB
Current children cumulated memory: 139096 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/250 38613
/proc/meminfo: memFree=128935812/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=147852 memory=146708 CPUtime=2973.92 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 99934 0 0 0 297332 60 0 0 20 0 1 0 44178183 151400448 36677 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 36963 36677 544 484 0 36374 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 147852 KiB
Current children cumulated memory: 146708 KiB

[startup+3042.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/251 38616
/proc/meminfo: memFree=128929924/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=156080 memory=155132 CPUtime=3033.77 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 102595 0 0 0 303313 64 0 0 20 0 1 0 44178183 159825920 38783 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 39020 38783 544 484 0 38431 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 156080 KiB
Current children cumulated memory: 155132 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/250 38618
/proc/meminfo: memFree=128936316/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=159992 memory=155960 CPUtime=3093.59 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 104819 0 0 0 309293 66 0 0 20 0 1 0 44178183 163831808 38990 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 39998 38990 544 484 0 39409 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 159992 KiB
Current children cumulated memory: 155960 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/250 38620
/proc/meminfo: memFree=128897696/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=165456 memory=164528 CPUtime=3153.43 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 106539 0 0 0 315274 69 0 0 20 0 1 0 44178183 169426944 41132 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 41364 41132 544 484 0 40775 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 165456 KiB
Current children cumulated memory: 164528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 38622
/proc/meminfo: memFree=128907924/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=161144 memory=160216 CPUtime=3213.26 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 107614 0 0 0 321256 70 0 0 20 0 1 0 44178183 165011456 40054 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 40286 40054 544 484 0 39697 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 161144 KiB
Current children cumulated memory: 160216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 38624
/proc/meminfo: memFree=128890864/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=163104 memory=162176 CPUtime=3273.09 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 109267 0 0 0 327236 73 0 0 20 0 1 0 44178183 167018496 40544 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 40776 40544 544 484 0 40187 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 163104 KiB
Current children cumulated memory: 162176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/249 38626
/proc/meminfo: memFree=128926476/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=164216 memory=163288 CPUtime=3332.92 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 111295 0 0 0 333216 76 0 0 20 0 1 0 44178183 168157184 40822 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 41054 40822 544 484 0 40465 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 164216 KiB
Current children cumulated memory: 163288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.11 5/249 38628
/proc/meminfo: memFree=128925980/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=167168 memory=166240 CPUtime=3392.76 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 112643 0 0 0 339198 78 0 0 20 0 1 0 44178183 171180032 41560 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 41792 41560 544 484 0 41203 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 167168 KiB
Current children cumulated memory: 166240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 38637
/proc/meminfo: memFree=128916992/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=167312 memory=164904 CPUtime=3452.59 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 114561 0 0 0 345178 81 0 0 20 0 1 0 44178183 171327488 41226 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 41828 41226 544 484 0 41239 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 167312 KiB
Current children cumulated memory: 164904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 38695
/proc/meminfo: memFree=127690144/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=177028 memory=172340 CPUtime=3512.41 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 117087 0 0 0 351156 85 0 0 20 0 1 0 44178183 181276672 43085 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 44257 43085 544 484 0 43668 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 177028 KiB
Current children cumulated memory: 172340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 38697
/proc/meminfo: memFree=127676124/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=174800 memory=172476 CPUtime=3572.23 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 118964 0 0 0 357136 87 0 0 20 0 1 0 44178183 178995200 43119 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 43700 43119 544 484 0 43111 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 174800 KiB
Current children cumulated memory: 172476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 38698
/proc/meminfo: memFree=127692476/131382116 swapFree=33010684/33010684
[pid=38356] ppid=38353 vsize=179392 memory=177068 CPUtime=3600.05 cores=5,7
/proc/38356/stat : 38356 (uwrmaxsat) R 38353 38356 37948 0 -1 4194304 119415 0 0 0 359917 88 0 0 20 0 1 0 44178183 183697408 44267 18446744073709551615 4198400 6176925 140735129555488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 27140096 140735129561450 140735129561577 140735129561577 140735129567179 0
/proc/38356/statm: 44848 44267 544 484 0 44259 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 179392 KiB
Current children cumulated memory: 177068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.18 s, system=0.884937 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.06
CPU user time (s): 3599.18
CPU system time (s): 0.884937
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 293552
Max. memory (cumulated for all children) (KiB): 291584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.18
system time used= 0.884937
maximum resident set size= 292608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119417
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= 58
involuntary context switches= 1532


# summary of solver processes directly reported to runsolver:
#   pid: 38356
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.18
#   total CPU system time (s): 0.884937

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3994 second user time and 32.2257 second system time

The end