runsolver version 3.4.0 (svn: 3018) 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: 1
  memory of node 0: 3630 MiB (1727 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2003/industrial/hanoi5u.cnf 

running on 1 cores: 0

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-305.3.1.el8.x86_64
solver pid=352128, runsolver pid=352127
Current StackSize limit: 8192 KiB


[startup+0.102248 s]*
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1757960/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=46208 memory=18572 CPUtime=0.11 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 3433 0 0 0 10 1 0 0 20 0 1 0 189563563 47316992 4643 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 11552 4643 1549 2 0 3961 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 46208 KiB
Current children cumulated memory: 18572 KiB

[startup+0.242254 s]*
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1750400/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=52096 memory=24732 CPUtime=0.2 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 5011 0 0 0 19 1 0 0 20 0 1 0 189563563 53346304 6183 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 13024 6183 1549 2 0 5433 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52096 KiB
Current children cumulated memory: 24732 KiB

[startup+0.331263 s]*
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1746116/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=56404 memory=29516 CPUtime=0.27 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 6282 0 0 0 26 1 0 0 20 0 1 0 189563563 57757696 7379 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 14101 7379 1549 2 0 6510 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 56404 KiB
Current children cumulated memory: 29516 KiB

[startup+0.701254 s]
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1739060/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=68128 memory=41036 CPUtime=0.58 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 8994 0 0 0 56 2 0 0 20 0 1 0 189563563 69763072 10259 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 17032 10259 1549 2 0 9441 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 68128 KiB
Current children cumulated memory: 41036 KiB

[startup+1.50125 s]
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1734020/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=67612 memory=40752 CPUtime=1.35 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 9539 0 0 0 133 2 0 0 20 0 1 0 189563563 69234688 10188 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 16903 10188 1549 2 0 9312 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 40752 KiB

[startup+3.13125 s]
/proc/loadavg: 0.00 0.00 0.00 2/447 352129
/proc/meminfo: memFree=1734020/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=67612 memory=40752 CPUtime=2.94 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 9539 0 0 0 292 2 0 0 20 0 1 0 189563563 69234688 10188 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 16903 10188 1549 2 0 9312 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 40752 KiB

[startup+6.30126 s]
/proc/loadavg: 0.08 0.02 0.01 2/448 352130
/proc/meminfo: memFree=1733988/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=67612 memory=40752 CPUtime=6.04 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 9542 0 0 0 602 2 0 0 20 0 1 0 189563563 69234688 10188 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 16903 10188 1549 2 0 9312 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 40752 KiB

[startup+12.7013 s]
/proc/loadavg: 0.16 0.03 0.01 2/448 352130
/proc/meminfo: memFree=1733988/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=67612 memory=40752 CPUtime=12.29 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 9550 0 0 0 1227 2 0 0 20 0 1 0 189563563 69234688 10188 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 16903 10188 1549 2 0 9312 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 40752 KiB

[startup+25.5013 s]
/proc/loadavg: 0.34 0.08 0.03 2/448 352139
/proc/meminfo: memFree=1727184/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=24.78 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 2475 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+51.1283 s]
/proc/loadavg: 0.57 0.16 0.05 2/448 352139
/proc/meminfo: memFree=1726900/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=49.76 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 4973 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+102.301 s]
/proc/loadavg: 0.81 0.29 0.11 2/448 352149
/proc/meminfo: memFree=1726900/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=99.68 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 9965 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 99.68 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.16 2/448 352158
/proc/meminfo: memFree=1726868/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=158.22 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 15819 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 158.22 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+222.301 s]
/proc/loadavg: 0.98 0.53 0.22 2/447 352168
/proc/meminfo: memFree=1726616/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=216.76 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 21673 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 216.76 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+282.301 s]
/proc/loadavg: 0.99 0.62 0.27 2/446 352177
/proc/meminfo: memFree=1726364/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=275.29 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 27526 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 275.29 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+342.301 s]
/proc/loadavg: 1.00 0.69 0.32 2/445 352186
/proc/meminfo: memFree=1726364/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=74176 memory=47084 CPUtime=333.81 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 11157 0 0 0 33378 3 0 0 20 0 1 0 189563563 75956224 11771 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 18544 11771 1549 2 0 10953 0
Current children cumulated CPU time: 333.81 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 47084 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.75 0.37 2/448 352200
/proc/meminfo: memFree=1720032/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=80320 memory=53356 CPUtime=392.36 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 13090 0 0 0 39232 4 0 0 20 0 1 0 189563563 82247680 13339 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 20080 13339 1549 2 0 12489 0
Current children cumulated CPU time: 392.36 s
Current children cumulated vsize: 80320 KiB
Current children cumulated memory: 53356 KiB

[startup+462.301 s]
/proc/loadavg: 1.08 0.83 0.42 2/447 352209
/proc/meminfo: memFree=1710424/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=89536 memory=62928 CPUtime=450.73 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 21749 0 0 0 45063 10 0 0 20 0 1 0 189563563 91684864 15732 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 22384 15732 1549 2 0 14793 0
Current children cumulated CPU time: 450.73 s
Current children cumulated vsize: 89536 KiB
Current children cumulated memory: 62928 KiB

[startup+522.3 s]
/proc/loadavg: 1.03 0.86 0.46 2/447 352218
/proc/meminfo: memFree=1703116/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=96704 memory=70096 CPUtime=509.07 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 23841 0 0 0 50896 11 0 0 20 0 1 0 189563563 99024896 17524 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 24176 17524 1549 2 0 16585 0
Current children cumulated CPU time: 509.07 s
Current children cumulated vsize: 96704 KiB
Current children cumulated memory: 70096 KiB

[startup+582.3 s]
/proc/loadavg: 1.01 0.89 0.49 2/447 352227
/proc/meminfo: memFree=1696828/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=102284 memory=75528 CPUtime=567.33 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 25314 0 0 0 56722 11 0 0 20 0 1 0 189563563 104738816 18882 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 25571 18882 1549 2 0 17980 0
Current children cumulated CPU time: 567.33 s
Current children cumulated vsize: 102284 KiB
Current children cumulated memory: 75528 KiB

[startup+642.3 s]
/proc/loadavg: 1.07 0.93 0.53 2/447 352237
/proc/meminfo: memFree=1684672/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=114828 memory=88072 CPUtime=625.73 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 28900 0 0 0 62560 13 0 0 20 0 1 0 189563563 117583872 22018 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 28707 22018 1549 2 0 21116 0
Current children cumulated CPU time: 625.73 s
Current children cumulated vsize: 114828 KiB
Current children cumulated memory: 88072 KiB

[startup+702.301 s]
/proc/loadavg: 1.02 0.94 0.57 2/445 352246
/proc/meminfo: memFree=1679356/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=120308 memory=93580 CPUtime=684.04 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30441 0 0 0 68390 14 0 0 20 0 1 0 189563563 123195392 23395 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30077 23395 1549 2 0 22486 0
Current children cumulated CPU time: 684.04 s
Current children cumulated vsize: 120308 KiB
Current children cumulated memory: 93580 KiB

[startup+762.3 s]
/proc/loadavg: 1.01 0.96 0.59 2/446 352257
/proc/meminfo: memFree=1677592/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=121588 memory=94916 CPUtime=742.31 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30855 0 0 0 74217 14 0 0 20 0 1 0 189563563 124506112 23729 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30397 23729 1549 2 0 22806 0
Current children cumulated CPU time: 742.31 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 94916 KiB

[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.62 2/446 352267
/proc/meminfo: memFree=1677812/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=121588 memory=94916 CPUtime=800.56 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30855 0 0 0 80042 14 0 0 20 0 1 0 189563563 124506112 23729 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30397 23729 1549 2 0 22806 0
Current children cumulated CPU time: 800.56 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 94916 KiB

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.65 2/446 352276
/proc/meminfo: memFree=1677812/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=121588 memory=94916 CPUtime=858.82 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30855 0 0 0 85868 14 0 0 20 0 1 0 189563563 124506112 23729 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30397 23729 1549 2 0 22806 0
Current children cumulated CPU time: 858.82 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 94916 KiB

[startup+942.301 s]
/proc/loadavg: 1.12 1.01 0.68 2/446 352285
/proc/meminfo: memFree=1677812/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=121588 memory=94916 CPUtime=917.07 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30855 0 0 0 91693 14 0 0 20 0 1 0 189563563 124506112 23729 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30397 23729 1549 2 0 22806 0
Current children cumulated CPU time: 917.07 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 94916 KiB

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 0.71 2/447 352297
/proc/meminfo: memFree=1677780/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=121588 memory=94916 CPUtime=975.32 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 30855 0 0 0 97518 14 0 0 20 0 1 0 189563563 124506112 23729 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 30397 23729 1549 2 0 22806 0
Current children cumulated CPU time: 975.32 s
Current children cumulated vsize: 121588 KiB
Current children cumulated memory: 94916 KiB

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 0.73 2/445 352307
/proc/meminfo: memFree=1664232/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=135608 memory=108716 CPUtime=1033.72 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 34763 0 0 0 103357 15 0 0 20 0 1 0 189563563 138862592 27179 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 33902 27179 1549 2 0 26311 0
Current children cumulated CPU time: 1033.72 s
Current children cumulated vsize: 135608 KiB
Current children cumulated memory: 108716 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.75 2/445 352316
/proc/meminfo: memFree=1657144/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=142520 memory=115632 CPUtime=1092.09 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 36922 0 0 0 109193 16 0 0 20 0 1 0 189563563 145940480 28908 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 35630 28908 1549 2 0 28039 0
Current children cumulated CPU time: 1092.09 s
Current children cumulated vsize: 142520 KiB
Current children cumulated memory: 115632 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.77 2/445 352325
/proc/meminfo: memFree=1652608/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=147128 memory=120236 CPUtime=1150.41 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38202 0 0 0 115025 16 0 0 20 0 1 0 189563563 150659072 30059 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 36782 30059 1549 2 0 29191 0
Current children cumulated CPU time: 1150.41 s
Current children cumulated vsize: 147128 KiB
Current children cumulated memory: 120236 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.78 2/445 352335
/proc/meminfo: memFree=1651096/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1208.69 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 120853 16 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1208.69 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/445 352346
/proc/meminfo: memFree=1651064/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1266.96 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 126680 16 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1266.96 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/445 352355
/proc/meminfo: memFree=1651064/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1325.23 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 132507 16 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1325.23 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1422.3 s]
/proc/loadavg: 1.08 1.02 0.84 2/446 352366
/proc/meminfo: memFree=1651032/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1383.51 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 138334 17 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1383.51 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 0.85 2/446 352375
/proc/meminfo: memFree=1651032/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1441.77 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 144160 17 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1441.77 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 0.86 2/446 352385
/proc/meminfo: memFree=1651000/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1500.04 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 149987 17 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1500.04 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/448 352396
/proc/meminfo: memFree=1650936/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121520 CPUtime=1558.31 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38583 0 0 0 155814 17 0 0 20 0 1 0 189563563 151969792 30380 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30380 1549 2 0 29511 0
Current children cumulated CPU time: 1558.31 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121520 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/447 352405
/proc/meminfo: memFree=1650360/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121620 CPUtime=1616.56 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38590 0 0 0 161639 17 0 0 20 0 1 0 189563563 151969792 30405 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30405 1549 2 0 29511 0
Current children cumulated CPU time: 1616.56 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121620 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/446 352416
/proc/meminfo: memFree=1650416/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121620 CPUtime=1674.8 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38590 0 0 0 167463 17 0 0 20 0 1 0 189563563 151969792 30405 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30405 1549 2 0 29511 0
Current children cumulated CPU time: 1674.8 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121620 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/446 352425
/proc/meminfo: memFree=1650496/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121620 CPUtime=1733.05 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38590 0 0 0 173288 17 0 0 20 0 1 0 189563563 151969792 30405 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30405 1549 2 0 29511 0
Current children cumulated CPU time: 1733.05 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121620 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.91 2/446 352426
/proc/meminfo: memFree=1650496/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=148408 memory=121620 CPUtime=1750.25 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38590 0 0 0 175008 17 0 0 20 0 1 0 189563563 151969792 30405 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 37102 30405 1549 2 0 29511 0
Current children cumulated CPU time: 1750.25 s
Current children cumulated vsize: 148408 KiB
Current children cumulated memory: 121620 KiB

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

Detected pigeons:

[startup+1800.16 s]
# the end of solver process 352128 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1750.21 s, system=0.182626 s

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

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 0.91 2/446 352426
/proc/meminfo: memFree=1650496/3717660 swapFree=8388604/8388604
[pid=352128] ppid=352127 vsize=62392 memory=35872 CPUtime=1750.35 cores=0
/proc/352128/stat : 352128 (pigeonPur.py) R 352127 352128 352121 0 -1 4194304 38590 0 0 0 175018 17 0 0 20 0 1 0 189563563 63889408 8968 18446744073709551615 94439995076608 94439995080720 140720410255664 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94439997181184 94439997181956 94440020725760 140720410264125 140720410264202 140720410264202 140720410267625 0
/proc/352128/statm: 15598 8968 1549 2 0 8007 0
Current children cumulated CPU time: 1750.35 s
Current children cumulated vsize: 62392 KiB
Current children cumulated memory: 35872 KiB

Child status: 1
Real time (s): 1800.16
CPU time (s): 1750.39
CPU user time (s): 1750.21
CPU system time (s): 0.182626
CPU usage (%): 97.2353
Max. virtual memory (cumulated for all children) (KiB): 148408
Max. memory (cumulated for all children) (KiB): 121620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.21
system time used= 0.182626
maximum resident set size= 121620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38592
page faults= 0
swaps= 0
block input operations= 1936
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 25091


# summary of solver processes directly reported to runsolver:
#   pid: 352128
#   total CPU time (s): 1750.39
#   total CPU user time (s): 1750.21
#   total CPU system time (s): 0.182626

??? end of timestamper thread
runsolver used 14.9181 second user time and 21.7196 second system time

The end
