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: 3639 MiB (1708 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/fgpa_routing/9symml_gr_2pin_w5.shuffled.cnf 

running on 1 cores: 0

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


[startup+0.104495 s]*
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1715584/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=42864 memory=15092 CPUtime=0.07 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 2569 0 0 0 6 1 0 0 20 0 1 0 182070682 43892736 3773 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 10716 3773 1534 2 0 3125 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42864 KiB
Current children cumulated memory: 15092 KiB

[startup+0.229499 s]*
/proc/loadavg: 0.00 0.02 0.04 5/458 343968
/proc/meminfo: memFree=1691392/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=50800 memory=23760 CPUtime=0.18 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 4763 0 0 0 16 2 0 0 20 0 1 0 182070682 52019200 5940 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 12700 5940 1534 2 0 5109 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50800 KiB
Current children cumulated memory: 23760 KiB

[startup+0.335496 s]*
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1678924/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=52492 memory=25748 CPUtime=0.25 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 5265 0 0 0 23 2 0 0 20 0 1 0 182070682 53751808 6437 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 13123 6437 1534 2 0 5532 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 25748 KiB

[startup+0.700504 s]
/proc/loadavg: 0.00 0.02 0.04 6/458 343968
/proc/meminfo: memFree=1666192/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=58444 memory=31628 CPUtime=0.55 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7120 0 0 0 52 3 0 0 20 0 1 0 182070682 59846656 7907 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 14611 7907 1534 2 0 7020 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 58444 KiB
Current children cumulated memory: 31628 KiB

[startup+1.50951 s]
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1649476/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=1.33 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7569 0 0 0 130 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+3.13451 s]
/proc/loadavg: 0.32 0.08 0.06 6/458 343968
/proc/meminfo: memFree=1647460/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=2.89 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7569 0 0 0 286 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+6.30051 s]
/proc/loadavg: 0.32 0.08 0.06 6/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=5.96 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7570 0 0 0 593 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+12.7005 s]
/proc/loadavg: 0.62 0.15 0.09 7/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=12.16 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7571 0 0 0 1213 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+25.5015 s]
/proc/loadavg: 1.37 0.34 0.15 6/458 343968
/proc/meminfo: memFree=1647444/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=24.49 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7571 0 0 0 2446 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 24.49 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+51.1365 s]
/proc/loadavg: 2.27 0.63 0.25 6/458 343976
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=49.19 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7571 0 0 0 4916 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 49.19 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+102.3 s]
/proc/loadavg: 2.76 1.03 0.41 4/448 343981
/proc/meminfo: memFree=1663356/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=98.85 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 9882 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 98.85 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+162.301 s]
/proc/loadavg: 2.91 1.39 0.57 4/448 343990
/proc/meminfo: memFree=1663464/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=157.17 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 15714 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 157.17 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+222.301 s]
/proc/loadavg: 2.97 1.69 0.73 4/447 343999
/proc/meminfo: memFree=1663380/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=215.49 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 21546 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 215.49 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+282.301 s]
/proc/loadavg: 3.06 1.94 0.88 4/447 344009
/proc/meminfo: memFree=1663432/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=273.82 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 27379 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 273.82 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+342.301 s]
/proc/loadavg: 3.12 2.17 1.03 4/448 344020
/proc/meminfo: memFree=1662924/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=332.13 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 33210 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 332.13 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+402.301 s]
/proc/loadavg: 3.10 2.34 1.16 4/448 344030
/proc/meminfo: memFree=1662896/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=390.45 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 39042 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 390.45 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+462.301 s]
/proc/loadavg: 3.04 2.46 1.28 4/448 344040
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=448.77 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 44874 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 448.77 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+522.3 s]
/proc/loadavg: 3.01 2.56 1.39 4/448 344049
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=507.08 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 50705 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 507.08 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+582.301 s]
/proc/loadavg: 3.00 2.64 1.49 4/448 344058
/proc/meminfo: memFree=1661236/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=565.39 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 56536 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 565.39 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+642.3 s]
/proc/loadavg: 3.00 2.71 1.59 4/446 344067
/proc/meminfo: memFree=1658104/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=623.7 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 62367 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 623.7 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+702.301 s]
/proc/loadavg: 3.00 2.77 1.68 4/447 344078
/proc/meminfo: memFree=1656504/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=682.01 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 68198 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 682.01 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+762.3 s]
/proc/loadavg: 3.00 2.81 1.76 4/447 344088
/proc/meminfo: memFree=1653732/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=740.32 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 74029 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 740.32 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+822.301 s]
/proc/loadavg: 3.11 2.88 1.85 4/447 344097
/proc/meminfo: memFree=1653952/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=33476 CPUtime=798.62 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7572 0 0 0 79859 3 0 0 20 0 1 0 182070682 61554688 8369 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8369 1534 2 0 7437 0
Current children cumulated CPU time: 798.62 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33476 KiB

[startup+882.3 s]
/proc/loadavg: 3.04 2.90 1.93 4/447 344107
/proc/meminfo: memFree=1650440/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=856.91 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 85688 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 856.91 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+942.3 s]
/proc/loadavg: 3.10 2.95 2.01 4/447 344117
/proc/meminfo: memFree=1649400/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=915.23 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 91520 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 915.23 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1002.3 s]
/proc/loadavg: 3.03 2.96 2.07 4/447 344126
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=973.54 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 97351 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 973.54 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 2.97 2.13 4/445 344136
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1031.87 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 103184 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1031.87 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1122.3 s]
/proc/loadavg: 3.00 2.98 2.19 4/446 344146
/proc/meminfo: memFree=1649588/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1090.2 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 109017 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1090.2 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 2.99 2.25 4/446 344155
/proc/meminfo: memFree=1649336/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1148.52 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 114849 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1148.52 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 2.99 2.30 4/447 344165
/proc/meminfo: memFree=1648296/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1206.84 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 120681 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1206.84 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1302.3 s]
/proc/loadavg: 3.05 3.01 2.35 4/447 344175
/proc/meminfo: memFree=1648044/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1265.16 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 126513 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1265.16 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1362.3 s]
/proc/loadavg: 3.05 3.02 2.40 4/447 344185
/proc/meminfo: memFree=1646248/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1323.48 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 132345 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1323.48 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1422.3 s]
/proc/loadavg: 3.06 3.03 2.44 4/447 344195
/proc/meminfo: memFree=1646028/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1381.8 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 138177 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1381.8 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.48 4/447 344205
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1440.11 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 144008 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1440.11 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1542.3 s]
/proc/loadavg: 3.02 3.03 2.52 4/447 344215
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1498.43 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 149840 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1498.43 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.02 2.55 4/447 344225
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1556.75 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 155672 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1556.75 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1662.3 s]
/proc/loadavg: 3.07 3.03 2.59 4/447 344235
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1615.06 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 161503 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1615.06 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1722.3 s]
/proc/loadavg: 3.02 3.02 2.62 4/447 344244
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1673.38 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 167335 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1673.38 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

[startup+1782.3 s]
/proc/loadavg: 3.08 3.03 2.65 4/447 344258
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1731.7 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 173167 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1731.7 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.05 3.03 2.66 4/447 344267
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343960] ppid=343958 vsize=60112 memory=34660 CPUtime=1748.93 cores=0
/proc/343960/stat : 343960 (pigeonPur.py) R 343958 343960 343927 0 -1 4194304 7580 0 0 0 174890 3 0 0 20 0 1 0 182070682 61554688 8665 18446744073709551615 93977952784384 93977952788496 140728201593888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93977954888960 93977954889732 93977969221632 140728201601567 140728201601674 140728201601674 140728201605097 0
/proc/343960/statm: 15028 8665 1534 2 0 7437 0
Current children cumulated CPU time: 1748.93 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 34660 KiB

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

Detected pigeons:

[startup+1800.14 s]
# the end of solver process 343960 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1748.98 s, system=0.039365 s

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

Child status: 1
Real time (s): 1800.14
CPU time (s): 1749.02
CPU user time (s): 1748.98
CPU system time (s): 0.039365
CPU usage (%): 97.1604
Max. virtual memory (cumulated for all children) (KiB): 60112
Max. memory (cumulated for all children) (KiB): 34660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.98
system time used= 0.039365
maximum resident set size= 34660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7582
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= 23
involuntary context switches= 27810


# summary of solver processes directly reported to runsolver:
#   pid: 343960
#   total CPU time (s): 1749.02
#   total CPU user time (s): 1748.98
#   total CPU system time (s): 0.039365

??? end of timestamper thread
runsolver used 16.9063 second user time and 24.2448 second system time

The end
