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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2003/industrial/kukula/am_4_4.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=432154, runsolver pid=432152
Current StackSize limit: 8192 KiB


[startup+0.100981 s]*
/proc/loadavg: 0.00 0.00 0.57 3/448 432162
/proc/meminfo: memFree=1709672/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10148 CPUtime=0.1 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1423 0 0 0 9 1 0 0 20 0 1 0 233338886 38961152 2537 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2537 1496 2 0 1921 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10148 KiB

[startup+0.23497 s]*
/proc/loadavg: 0.00 0.00 0.57 6/450 432164
/proc/meminfo: memFree=1698228/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=0.21 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1440 0 0 0 20 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+0.335971 s]*
/proc/loadavg: 0.00 0.00 0.57 4/452 432167
/proc/meminfo: memFree=1700792/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=0.29 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1441 0 0 0 28 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+0.700973 s]
/proc/loadavg: 0.00 0.00 0.57 3/444 432169
/proc/meminfo: memFree=1711568/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=0.58 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1442 0 0 0 57 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+1.50097 s]
/proc/loadavg: 0.00 0.00 0.57 3/444 432169
/proc/meminfo: memFree=1711484/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=1.35 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1443 0 0 0 134 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+3.12498 s]
/proc/loadavg: 0.16 0.03 0.58 3/444 432169
/proc/meminfo: memFree=1711484/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=2.93 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1444 0 0 0 292 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+6.30097 s]
/proc/loadavg: 0.16 0.03 0.58 3/444 432169
/proc/meminfo: memFree=1711420/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=6.03 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1447 0 0 0 602 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+12.701 s]
/proc/loadavg: 0.31 0.07 0.59 3/444 432169
/proc/meminfo: memFree=1711420/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=12.29 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1451 0 0 0 1228 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+25.501 s]
/proc/loadavg: 0.68 0.16 0.61 3/443 432169
/proc/meminfo: memFree=1711136/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10472 CPUtime=24.78 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1457 0 0 0 2477 1 0 0 20 0 1 0 233338886 38961152 2618 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2618 1512 2 0 1921 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10472 KiB

[startup+51.125 s]
/proc/loadavg: 1.13 0.31 0.65 3/445 432180
/proc/meminfo: memFree=1710376/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38048 memory=10736 CPUtime=49.76 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1503 0 0 0 4975 1 0 0 20 0 1 0 233338886 38961152 2684 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9512 2684 1512 2 0 1921 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10736 KiB

[startup+102.301 s]
/proc/loadavg: 1.78 0.61 0.73 4/452 432201
/proc/meminfo: memFree=1476336/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=99.7 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1563 0 0 0 9969 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 99.7 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+162.302 s]
/proc/loadavg: 3.23 1.23 0.94 5/457 432221
/proc/meminfo: memFree=1468516/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=158.13 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1591 0 0 0 15812 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 158.13 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+222.301 s]
/proc/loadavg: 3.72 1.74 1.14 5/457 432230
/proc/meminfo: memFree=1467868/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=216.59 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1591 0 0 0 21658 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 216.59 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+282.301 s]
/proc/loadavg: 3.51 2.06 1.29 4/449 432242
/proc/meminfo: memFree=1476028/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=275.08 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1591 0 0 0 27507 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 275.08 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+342.301 s]
/proc/loadavg: 3.18 2.23 1.40 4/448 432252
/proc/meminfo: memFree=1475996/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=333.6 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1591 0 0 0 33359 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 333.6 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+402.301 s]
/proc/loadavg: 3.07 2.37 1.50 4/447 432261
/proc/meminfo: memFree=1475804/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=392.12 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1591 0 0 0 39211 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 392.12 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+462.301 s]
/proc/loadavg: 3.14 2.52 1.61 4/447 432271
/proc/meminfo: memFree=1475912/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=450.65 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1603 0 0 0 45064 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 450.65 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+522.301 s]
/proc/loadavg: 3.05 2.61 1.70 4/447 432281
/proc/meminfo: memFree=1475660/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=11000 CPUtime=509.18 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1613 0 0 0 50917 1 0 0 20 0 1 0 233338886 39223296 2750 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 2750 1512 2 0 1985 0
Current children cumulated CPU time: 509.18 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 11000 KiB

[startup+582.301 s]
/proc/loadavg: 3.02 2.68 1.78 4/447 432290
/proc/meminfo: memFree=1472716/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38304 memory=12380 CPUtime=567.7 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1614 0 0 0 56769 1 0 0 20 0 1 0 233338886 39223296 3095 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9576 3095 1512 2 0 1985 0
Current children cumulated CPU time: 567.7 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 12380 KiB

[startup+642.301 s]
/proc/loadavg: 3.05 2.76 1.86 4/447 432300
/proc/meminfo: memFree=1472244/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=626.22 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 62621 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 626.22 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+702.301 s]
/proc/loadavg: 3.05 2.82 1.94 4/447 432312
/proc/meminfo: memFree=1471268/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=684.74 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 68473 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 684.74 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+762.301 s]
/proc/loadavg: 3.09 2.87 2.02 4/446 432321
/proc/meminfo: memFree=1471296/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=743.26 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 74325 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 743.26 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+822.301 s]
/proc/loadavg: 3.03 2.90 2.08 4/448 432333
/proc/meminfo: memFree=1471264/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=801.78 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 80177 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 801.78 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+882.301 s]
/proc/loadavg: 3.07 2.94 2.15 4/448 432342
/proc/meminfo: memFree=1471264/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=860.3 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 86029 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 860.3 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+942.301 s]
/proc/loadavg: 3.15 2.98 2.21 4/447 432352
/proc/meminfo: memFree=1471232/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=918.81 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 91880 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 918.81 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1002.3 s]
/proc/loadavg: 3.09 3.00 2.27 4/448 432362
/proc/meminfo: memFree=1471200/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=977.33 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 97732 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 977.33 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1062.3 s]
/proc/loadavg: 3.03 3.00 2.32 4/448 432371
/proc/meminfo: memFree=1471200/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1035.85 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 103584 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1035.85 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1122.3 s]
/proc/loadavg: 3.01 3.00 2.37 4/447 432385
/proc/meminfo: memFree=1471168/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1094.37 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 109436 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1094.37 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.41 4/449 432400
/proc/meminfo: memFree=1470620/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1152.88 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1642 0 0 0 115287 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1152.88 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.45 4/449 432409
/proc/meminfo: memFree=1470364/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1211.39 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 121138 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1211.39 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1302.3 s]
/proc/loadavg: 3.04 3.01 2.49 4/449 432420
/proc/meminfo: memFree=1470140/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1269.89 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 126988 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1269.89 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1362.3 s]
/proc/loadavg: 3.01 3.01 2.53 4/449 432430
/proc/meminfo: memFree=1470108/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1328.41 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 132840 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1328.41 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1422.3 s]
/proc/loadavg: 3.08 3.02 2.56 4/449 432450
/proc/meminfo: memFree=1469572/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1386.91 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 138690 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1386.91 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1482.3 s]
/proc/loadavg: 4.06 3.29 2.69 4/447 432460
/proc/meminfo: memFree=1469572/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1445.43 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 144542 1 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1445.43 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1542.3 s]
/proc/loadavg: 4.71 3.62 2.84 4/450 432475
/proc/meminfo: memFree=1469508/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1503.94 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 150392 2 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1503.94 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1602.3 s]
/proc/loadavg: 4.70 3.82 2.96 4/450 432484
/proc/meminfo: memFree=1468752/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1562.45 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 156243 2 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1562.45 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1662.3 s]
/proc/loadavg: 3.70 3.70 2.97 4/449 432494
/proc/meminfo: memFree=1468156/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1620.95 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 162093 2 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1620.95 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1722.3 s]
/proc/loadavg: 3.26 3.57 2.98 4/450 432505
/proc/meminfo: memFree=1467176/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1679.46 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 167944 2 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1679.46 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

[startup+1782.3 s]
/proc/loadavg: 3.15 3.48 2.99 4/449 432514
/proc/meminfo: memFree=1467396/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1737.98 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1659 0 0 0 173795 3 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1737.98 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.10 3.45 2.99 4/449 432516
/proc/meminfo: memFree=1467144/3726824 swapFree=8388604/8388604
[pid=432154] ppid=432152 vsize=38560 memory=12640 CPUtime=1755.26 cores=0
/proc/432154/stat : 432154 (pigeonPurSampli) R 432152 432154 432140 0 -1 4194304 1666 0 0 0 175523 3 0 0 20 0 1 0 233338886 39485440 3160 18446744073709551615 94241217216512 94241217220624 140722343056048 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94241219321088 94241219321860 94241231204352 140722343060006 140722343060098 140722343060098 140722343063521 0
/proc/432154/statm: 9640 3160 1512 2 0 2049 0
Current children cumulated CPU time: 1755.26 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 12640 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6] -> []

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, 28, -33, -35, -36, 40] -> ph4-3_1 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, -17, -19, 23] -> []

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, -17, -19, 23, 25, -27, 28, -33, -35] -> ph4-3_1 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, 17, -19, -23] -> []

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, 17, -19, -23, 25, -27, 28, -33, 35, -36, 40, 41, -42, -43, -45, -47, -53, 55, 58] -> ph4-3_2 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, 17, -19, 23, 25, -27, 28, -33, -35, -36, -40] -> ph4-3_3 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, -16, 17, 19, 23, 25, -27, 28, 35, -36, 40] -> ph4-3_4 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, -17, -19, -23, 25, -27, -28, -33, 35, -36, 40, 41, -42, 43, -45, -47, -49, 53, 55, 58, 60, 63, -65] -> ph4-3_5 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, -17, -19, -23, 25, -27, 28, -33, 35, -36, 40, 41, -42, 43, -45, -47, 53, 55, 58, 60, 63, -65] -> ph4-3_6 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, -17, -19, 23, 25, -27, -28, -33, 35, -36, 40, 41, -42, 43, -45, -47, -49, -53, 55, 58, 60, 63, -65] -> ph4-3_7 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, -17, -19, 23, 25, -27, 28, -33, 35, -36, 40, 41, -42, 43, -45, -47, -53, 55, 58, 60, 63, -65] -> ph4-3_8 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, 17, -19, -23, 25, -27, 28, -33, -35] -> ph4-3_3 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, 17, -19, 23, 25, -27, -28, -33, 35, -36, -40, 41, -42, 43, -45, -47, -49, 53, 55, 58, 60] -> ph4-3_9 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, -14, 16, 17, -19, 23, 25, -27, 28, -33, 35, -36, 40, 41, -42, 43, -45, -47, 53, 55, 58, 60] -> ph4-3_10 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, -11, 14, 16, 17, -19, -23, 25, 27] -> ph4-3_11 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, 11, -14, -16, -17, -19, 23, 25, 27, -28, -33, -35] -> ph4-3_12 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, 11, -14, -16, 17, -19, 23, 25, 27, 28, -33, 35] -> ph4-3_13 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, 11, -14, 16, -17, -19, 23, 25, -27, -28, -33, 35, -36, -40] -> ph4-3_14 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, 11, -14, 16, 17, -19, 23, 25, -27, 28, -33, -35, -36, -40, 41, -42] -> ph4-3_15 

[-1, -2, -3, -4, -5, -6, 7, -8, -9, -10, 11, 14, 16, -17] -> ph4-3_16 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, -16, -17, -19, 23, 25, -27, 28, -33, 35] -> ph4-3_17 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, -16, 17, -19, 23, 25, -27, 28, -33, -35] -> ph4-3_18 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, 16, -17, -19, -23, 25, -27, -28, -33, 35, -36, 40, 41] -> ph4-3_19 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, 16, -17, -19, 23, 25, 27, -28, -33, -35] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, 16, 17, -19, 23, 25, -27, -28, -33, 35, -36, -40, 41] -> ph4-3_15 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, -14, 16, 17, 19, 23, 25, 27, -28, -35, -36, -40] -> ph4-3_20 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, 14, -16, 17, 19, -23, 25, -27, -28, 35] -> ph4-3_21 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, -11, 14, 16, 17, -19, 23, 25, 27, -28, -33, 35] -> ph4-3_22 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, -14, -16, -17, -19, 23, 25, -27, 28, -33, 35, -36, -40] -> ph4-3_23 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, -14, -16, 17, -19, 23, 25, 27, -28, -33, -35, -36, -40] -> ph4-3_24 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, -14, 16, -17, -19, -23, 25, 27, -28, -33, 35, -36, -40, 41] -> ph4-3_25 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, -14, 16, 17, -19, -23, 25, 27, -28, -33, 35, -36, 40, 41] -> ph4-3_15 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, -14, 16, 17, 19, 23, 25, 27, -28, 35, -36, 40] -> ph4-3_20 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, 14, -16, 17, 19, -23, 25, 27, -28] -> ph4-3_21 

[-1, -2, -3, -4, -5, -6, 7, -8, 9, -10, 11, 14, 16, 17, -19, 23, 25, 27, 28, -33, -35] -> ph4-3_26 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, -17, -19, 25, -27, -28, -33, 35, -36, 40, 41, -42, -43, -45, -47] -> ph4-3_27 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, -17, -19, 25, -27, 28, -33, 35, -36, 40, 41, -42, 43, -45, -47, -53, 55, 58, 60, -63, -65] -> ph4-3_28 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, 17, -19, 25, -27, -28, -33, 35, -36, -40, 41, -42, 43, -45, -47, -49, 53, 55, 58, -60, 63, -65] -> ph4-3_29 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, 17, -19, 25, -27, 28, -33, 35, -36, -40, 41, -42, -43, -45, -47, -49, -53, 55, 58, -60, -63, -65] -> ph4-3_30 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, 17, -19, 25, -27, 28, -33, 35, -36, 40, 41, -42, -43, -45, -47, 53, 55, 58, 60, 63, -65] -> ph4-3_31 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, 17, 19, 25, -27, -28, 35, -36, 40] -> []

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, -16, 17, 19, 25, -27, 28, 35, -36, 40, 41, -42, -43] -> []

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, -17, -19, 25, -27, -28, -33, 35, -36, 40, 41, -42, -43, -45, -47, -49, 53, 55, 58, 60, 63] -> ph4-3_32 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, -17, -19, 25, -27, 28, -33, 35, -36, 40, 41, -42, -43, -45, -47, 53, 55, 58, 60, 63] -> ph4-3_33 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, 17, -19, 25, -27, -28, -33, 35, -36, -40, 41, -42, 43, -45, -47, -49, 53, -55, 58, 60, 63] -> ph4-3_34 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, 17, -19, 25, -27, -28, -33, 35] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, 17, -19, 25, -27, 28, -33, 35, -36, 40, 41, -42, -43, -45, -47, -53, 55, 58, 60, -63] -> ph4-3_35 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, 17, 19, 25, -27, -28, 35, -36, -40, 41, -42, 43, -45, -47, -49, -53, 55, 58, -63] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, -11, -14, 16, 17, 19, 25, -27, 28, 35, -36, -40, 41, -42, 43, -45, -47, -49, -53, 55, 58, -63, -65] -> ph3-2_4 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, 11, -14, -16, -17, -19, 25, -27, -28, -33, -35, -36, -40] -> ph4-3_36 

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, 11, -14, -16, 17, 19, 25, -27, -28, -35, -36, 40] -> []

[-1, -2, -3, -4, -5, -6, 7, 8, -9, -10, 11, -14, 16, 17, -19, 25, -27, 28, -33, -35, -36, -40, 41] -> ph3-2_5 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, -11, -14, -16, -17, -19, 25, -27, 28, -33, -35, -36, 40] -> ph4-3_37 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, -11, -14, -16, 17, 19, 25, -27, 28] -> ph4-3_38 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, -11, -14, 16, 17, -19, 25, -27, -28, -33, 35, -36, -40] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, -11, -14, 16, 17, 19, 25, 27, -28] -> []

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, -11, 14, 16, 17, -19, 25, -27, 28] -> ph3-2_6 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, 11, -14, -16, 17, -19, 25, 27, -28, -33, -35] -> ph4-3_39 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, 11, -14, 16, 17, -19, 25, -27, -28, -33, -35, -36, 40] -> ph3-2_7 

[-1, -2, -3, -4, -5, -6, 7, 8, 9, -10, 11, 14, -16, 17, -19, 25, -27, 28, -33, -35] -> ph4-3_40 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, -28, -33, 35, -36, -40, 41, -42, -43, -45, -47, -49, -53, 55, 58, 60, 63, -65] -> ph4-3_41 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, -28, -33, 35, -36, -40, 41, -42, 43, 45, -47, -49, -53, 55, 58, 60, 63, -65, -68] -> ph4-3_41 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, -28, -33, 35, -36, 40, 41, -42, 43, -45, -47, -49, -53, 55] -> ph4-3_42 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, 28, -33, 35, -36, -40, 41, -42, -43, 45, -47, -49, -53, 55, -58, 60, -63, -65, 68] -> ph4-3_43 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, 28, -33, 35, -36, -40, 41, -42, 43, 45, -47, -49, 53, 55, 58, 60, -63, -65, -68] -> ph4-3_44 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, -23, 25, -27, 28, -33, 35, -36, 40, 41, -42, 43, 45, -47, -53, 55, -58] -> ph3-2_8 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, 23, 25, -27, -28, -33, 35, -36, -40, 41, -42, -43, 45, -47, -49, -53, 55, 58] -> ph4-3_45 

[-1, -2, -3, -4, -5, 6, 7, -8, -9, -10, -11, -14, -16, -17, -19, 23, 25, -27, -28, -33, 35, -36, 40, 41, -42, -43, -45, -47, -49, -53, 55, 58, 60, -63, -65, -68] -> ph4-3_46 


Detected pigeons:

 ph4-3_1 = [[74, -216, -405], [189, -305, -239], [355, 157, -424], [395, -425, 154]]

 ph4-3_2 = [[74, -216, -405], [128, -60, -351], [147, 157, 103], [-230, 211, 292]]

 ph4-3_3 = [[74, -216, -405], [-150, 116, 425], [188, -361, 47], [-413, 74, -216]]

 ph4-3_4 = [[147, 75, -424], [-176, 206, 68], [-414, 230, 391], [-424, 157, 355]]

 ph4-3_5 = [[74, -216, -405], [-172, 212, 227], [-374, -127, -164], [-405, 144, 391]]

 ph4-3_6 = [[74, -216, -405], [-172, 212, 227], [-211, 230, -383], [-374, -127, -164]]

 ph4-3_7 = [[74, -216, -405], [147, 75, -424], [-374, -127, -164], [-405, 391, 144]]

 ph4-3_8 = [[74, -216, -405], [195, -123, 414], [-211, 230, -383], [-374, -127, -164]]

 ph4-3_9 = [[74, -216, -405], [-105, -70, 315], [-127, -164, -374], [-416, -355, 111]]

 ph4-3_10 = [[74, -216, -405], [-127, -374, -164], [-235, -176, 68], [374, -81, 337]]

 ph4-3_11 = [[-53, 379, -220], [-127, -374, -164], [-204, 241, -233], [412, 47, -361]]

 ph4-3_12 = [[74, -216, -405], [109, -384, -361], [-275, -420, 41], [-424, 157, 355]]

 ph4-3_13 = [[-43, 365, -243], [-53, 379, -220], [-142, -118, 335], [-424, 157, 355]]

 ph4-3_14 = [[74, -216, -405], [-148, -109, 105], [-161, -420, 41], [-206, 375, -410]]

 ph4-3_15 = [[74, -216, -405], [147, 75, -424], [-216, -413, 74], [228, 351, -116]]

 ph4-3_16 = [[-53, 379, -220], [-127, -374, -164], [-170, 72, 362], [-204, 241, -233]]

 ph4-3_17 = [[-69, 374, 81], [-225, -127, -89], [362, 72, -170], [-424, 157, 355]]

 ph4-3_18 = [[74, -216, -405], [-150, 116, 425], [188, -361, 47], [362, -170, 72]]

 ph4-3_19 = [[47, 412, -361], [72, 362, -170], [-127, -374, -164], [-421, -81, -112]]

 ph3-2_1 = [[128, 315], [-170, 258], [-192, 164]]

 ph4-3_20 = [[74, -216, -405], [212, -172, 227], [-361, 109, -384], [-390, -176, -342]]

 ph4-3_21 = [[47, -361, 412], [74, -216, -405], [-235, -176, 68], [-375, -239, 423]]

 ph4-3_22 = [[47, -361, 412], [74, -216, -405], [-150, 116, 425], [379, -220, -53]]

 ph4-3_23 = [[-53, -220, 379], [74, -216, -405], [-176, 68, -235], [355, 157, -424]]

 ph4-3_24 = [[74, -216, -405], [-150, 116, 425], [-275, 41, -420], [-361, 109, -384]]

 ph4-3_25 = [[-53, -220, 379], [-150, 116, 425], [-363, 200, 136], [412, 47, -361]]

 ph4-3_26 = [[74, -216, -405], [-150, 116, 425], [201, -392, 377], [-361, 412, 47]]

 ph4-3_27 = [[74, -216, -405], [-181, 228, -351], [195, -70, -105], [-424, 157, 355]]

 ph4-3_28 = [[74, -216, -405], [181, -228, -351], [211, -230, 292], [425, 116, -150]]

 ph4-3_29 = [[-396, -329, -93], [-405, 144, 391], [421, 329, -163], [-424, 157, 355]]

 ph4-3_30 = [[147, -424, 216], [-329, -396, -93], [-414, 391, 230], [-424, 157, 355]]

 ph4-3_31 = [[74, -216, -405], [391, -414, 230], [-410, 375, -206], [-424, 157, 355]]

 ph4-3_32 = [[74, -216, -405], [-163, 329, 421], [-181, -228, 351], [-374, -81, -337]]

 ph4-3_33 = [[74, -216, -405], [-181, 351, -228], [292, -230, 211], [-374, -127, -164]]

 ph4-3_34 = [[70, 195, 105], [74, -216, -405], [-227, 172, 212], [-416, -355, 111]]

 ph3-2_2 = [[-123, 195], [-213, -274], [-274, 384]]

 ph4-3_35 = [[74, -216, -405], [211, -230, 292], [-337, -374, -81], [-410, 375, -206]]

 ph3-2_3 = [[-128, -144], [-315, -128], [375, -423]]

 ph3-2_4 = [[274, -384], [375, -423], [412, -361]]

 ph4-3_36 = [[-93, 112, 396], [-105, 70, -195], [-421, -81, -112], [-424, 157, 355]]

 ph3-2_5 = [[-315, 70], [-329, 163], [-361, -384]]

 ph4-3_37 = [[74, -216, -405], [-172, -127, -164], [355, 157, -424], [395, -425, 154]]

 ph4-3_38 = [[-170, 72, 362], [184, -93, -55], [220, 396, 416], [375, -239, -423]]

 ph3-2_6 = [[142, 118], [-207, 225], [-309, 247]]

 ph4-3_39 = [[47, -361, 188], [74, -216, -405], [-150, 116, 425], [-410, -206, 375]]

 ph3-2_7 = [[-164, -201], [192, -164], [-329, 163]]

 ph4-3_40 = [[47, 412, -361], [264, 291, -274], [-374, -164, -127], [-424, 157, 355]]

 ph4-3_41 = [[74, -216, -405], [-172, -127, -164], [-416, -355, 111], [425, 116, -150]]

 ph4-3_42 = [[74, -216, -405], [-124, 304, 312], [-172, -127, -164], [-361, -109, -185]]

 ph4-3_43 = [[74, -216, -405], [-89, 85, -188], [-116, 351, 228], [355, 157, -424]]

 ph4-3_44 = [[74, -216, -405], [93, 329, -396], [-172, -127, -164], [425, 116, -150]]

 ph3-2_8 = [[74, 185], [116, -351], [412, -361]]

 ph4-3_45 = [[-150, 116, 425], [157, -424, 355], [-188, 85, -89], [-413, -74, 216]]

 ph4-3_46 = [[74, -216, -405], [-116, 351, 228], [-163, 329, 421], [-172, -127, -164]]

[startup+1800.04 s]
# the end of solver process 432154 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.25 s, system=0.033571 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1755.28
CPU user time (s): 1755.25
CPU system time (s): 0.033571
CPU usage (%): 97.5133
Max. virtual memory (cumulated for all children) (KiB): 38560
Max. memory (cumulated for all children) (KiB): 12640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.25
system time used= 0.033571
maximum resident set size= 12676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1669
page faults= 0
swaps= 0
block input operations= 48
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 36116


# summary of solver processes directly reported to runsolver:
#   pid: 432154
#   total CPU time (s): 1755.28
#   total CPU user time (s): 1755.25
#   total CPU system time (s): 0.033571

??? end of timestamper thread
runsolver used 16.0862 second user time and 21.3684 second system time

The end
