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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/SSA/ssa0432-003.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=419956, runsolver pid=419954
Current StackSize limit: 8192 KiB


[startup+0.100609 s]*
/proc/loadavg: 0.01 0.77 1.40 7/458 419964
/proc/meminfo: memFree=1701876/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=0.09 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1396 0 0 0 9 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+0.226607 s]*
/proc/loadavg: 0.01 0.77 1.40 7/458 419964
/proc/meminfo: memFree=1696096/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=0.2 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1408 0 0 0 20 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+0.331605 s]*
/proc/loadavg: 0.01 0.77 1.40 6/458 419964
/proc/meminfo: memFree=1695088/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=0.28 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1408 0 0 0 28 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+0.700604 s]
/proc/loadavg: 0.01 0.77 1.40 8/458 419964
/proc/meminfo: memFree=1693576/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=0.58 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1410 0 0 0 58 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+1.5006 s]
/proc/loadavg: 0.01 0.77 1.40 6/458 419964
/proc/meminfo: memFree=1693072/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=1.35 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1411 0 0 0 135 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+3.1306 s]
/proc/loadavg: 0.01 0.77 1.40 5/450 419974
/proc/meminfo: memFree=1708732/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=2.94 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1412 0 0 0 294 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+6.3006 s]
/proc/loadavg: 0.25 0.81 1.41 5/450 419974
/proc/meminfo: memFree=1708868/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=6.03 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1419 0 0 0 603 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+12.7006 s]
/proc/loadavg: 0.55 0.86 1.42 5/450 419974
/proc/meminfo: memFree=1708704/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10356 CPUtime=12.29 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1426 0 0 0 1229 0 0 0 20 0 1 0 226271255 38957056 2589 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2589 1548 2 0 1920 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10356 KiB

[startup+25.5006 s]
/proc/loadavg: 1.10 0.97 1.45 5/448 419975
/proc/meminfo: memFree=1708756/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10620 CPUtime=24.78 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1436 0 0 0 2478 0 0 0 20 0 1 0 226271255 38957056 2655 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2655 1548 2 0 1920 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10620 KiB

[startup+51.1296 s]
/proc/loadavg: 1.82 1.15 1.50 5/448 419975
/proc/meminfo: memFree=1707532/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10620 CPUtime=49.8 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1451 0 0 0 4980 0 0 0 20 0 1 0 226271255 38957056 2655 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2655 1548 2 0 1920 0
Current children cumulated CPU time: 49.8 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10620 KiB

[startup+102.301 s]
/proc/loadavg: 2.49 1.43 1.58 5/448 419995
/proc/meminfo: memFree=1707056/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10620 CPUtime=99.75 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1489 0 0 0 9975 0 0 0 20 0 1 0 226271255 38957056 2655 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2655 1548 2 0 1920 0
Current children cumulated CPU time: 99.75 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10620 KiB

[startup+162.301 s]
/proc/loadavg: 2.87 1.74 1.67 5/448 420006
/proc/meminfo: memFree=1704188/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10884 CPUtime=158.33 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1533 0 0 0 15833 0 0 0 20 0 1 0 226271255 38957056 2721 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2721 1548 2 0 1920 0
Current children cumulated CPU time: 158.33 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10884 KiB

[startup+222.301 s]
/proc/loadavg: 2.95 1.97 1.76 5/448 420015
/proc/meminfo: memFree=1702896/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=10884 CPUtime=216.9 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1540 0 0 0 21690 0 0 0 20 0 1 0 226271255 38957056 2721 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2721 1548 2 0 1920 0
Current children cumulated CPU time: 216.9 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10884 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 2.16 1.84 5/449 420025
/proc/meminfo: memFree=1702864/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=275.47 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1564 0 0 0 27547 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 275.47 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.32 1.92 5/448 420035
/proc/meminfo: memFree=1702420/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=334.04 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1565 0 0 0 33404 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 334.04 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+402.301 s]
/proc/loadavg: 3.08 2.47 2.00 5/448 420045
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=392.61 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1566 0 0 0 39261 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 392.61 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+462.301 s]
/proc/loadavg: 3.07 2.59 2.07 5/448 420054
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=451.18 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1567 0 0 0 45118 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 451.18 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+522.301 s]
/proc/loadavg: 3.29 2.73 2.15 5/449 420065
/proc/meminfo: memFree=1702064/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=509.75 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1567 0 0 0 50975 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 509.75 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+582.301 s]
/proc/loadavg: 4.38 3.12 2.32 5/447 420075
/proc/meminfo: memFree=1702032/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=568.32 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1568 0 0 0 56832 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 568.32 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+642.301 s]
/proc/loadavg: 5.07 3.55 2.52 5/448 420085
/proc/meminfo: memFree=1701496/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=626.89 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1576 0 0 0 62689 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 626.89 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+702.301 s]
/proc/loadavg: 5.05 3.85 2.69 5/448 420095
/proc/meminfo: memFree=1701212/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=685.46 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1576 0 0 0 68546 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 685.46 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+762.301 s]
/proc/loadavg: 4.31 3.86 2.77 5/448 420105
/proc/meminfo: memFree=1700960/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=744.03 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1577 0 0 0 74403 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 744.03 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+822.301 s]
/proc/loadavg: 3.66 3.76 2.81 5/447 420114
/proc/meminfo: memFree=1700960/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=802.6 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1577 0 0 0 80260 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 802.6 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+882.304 s]
/proc/loadavg: 3.31 3.64 2.83 5/448 420124
/proc/meminfo: memFree=1700456/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=861.17 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1577 0 0 0 86117 0 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 861.17 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+942.301 s]
/proc/loadavg: 3.11 3.52 2.84 5/447 420133
/proc/meminfo: memFree=1700424/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=919.75 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1583 0 0 0 91974 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 919.75 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1002.3 s]
/proc/loadavg: 3.04 3.42 2.85 5/446 420143
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=978.33 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1583 0 0 0 97832 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 978.33 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 3.34 2.86 5/447 420153
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1036.9 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1584 0 0 0 103689 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1036.9 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1122.3 s]
/proc/loadavg: 3.05 3.29 2.88 5/448 420163
/proc/meminfo: memFree=1700384/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1095.47 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1585 0 0 0 109546 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1095.47 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1182.3 s]
/proc/loadavg: 3.12 3.27 2.90 5/446 420173
/proc/meminfo: memFree=1700804/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1154.04 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1587 0 0 0 115403 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1154.04 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1242.3 s]
/proc/loadavg: 3.07 3.23 2.92 5/448 420184
/proc/meminfo: memFree=1700428/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1212.6 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1587 0 0 0 121259 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1212.6 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1302.3 s]
/proc/loadavg: 3.17 3.22 2.93 5/448 420193
/proc/meminfo: memFree=1700588/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1271.16 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1587 0 0 0 127115 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1271.16 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1362.3 s]
/proc/loadavg: 3.06 3.18 2.94 5/448 420204
/proc/meminfo: memFree=1700844/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1329.73 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1587 0 0 0 132972 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1329.73 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1422.3 s]
/proc/loadavg: 3.02 3.14 2.94 5/448 420213
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1388.3 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1587 0 0 0 138829 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1388.3 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1482.3 s]
/proc/loadavg: 3.01 3.11 2.95 5/448 420222
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1446.86 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 144685 1 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1446.86 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1542.3 s]
/proc/loadavg: 3.20 3.15 2.98 5/446 420231
/proc/meminfo: memFree=1700316/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1505.44 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 150542 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1505.44 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1602.3 s]
/proc/loadavg: 3.23 3.19 3.00 5/448 420243
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1564.01 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 156399 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1564.01 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1662.3 s]
/proc/loadavg: 3.14 3.17 3.00 5/447 420252
/proc/meminfo: memFree=1700568/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1622.58 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 162256 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1622.58 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1722.3 s]
/proc/loadavg: 3.05 3.14 3.00 5/449 420263
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1681.15 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 168113 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1681.15 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

[startup+1782.3 s]
/proc/loadavg: 3.02 3.11 3.00 5/448 420276
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1739.71 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 173969 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1739.71 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.01 3.10 3.00 5/448 420277
/proc/meminfo: memFree=1700252/3726824 swapFree=8388604/8388604
[pid=419956] ppid=419954 vsize=38044 memory=11148 CPUtime=1757.02 cores=0
/proc/419956/stat : 419956 (pigeonPurSampli) R 419954 419956 419924 0 -1 4194304 1589 0 0 0 175700 2 0 0 20 0 1 0 226271255 38957056 2787 18446744073709551615 93825242529792 93825242533904 140726251677920 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93825244634368 93825244635140 93825252392960 140726251684363 140726251684437 140726251684437 140726251687905 0
/proc/419956/statm: 9511 2787 1548 2 0 1920 0
Current children cumulated CPU time: 1757.02 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 11148 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -20, -21, -22, -24, -25, -26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, 20, -21, -22, -24, -25, -26, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, 18, -19, -20, -21, -22, -24, -25, 26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, 18, -19, 20, -21, -22, -24, -25, 26, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, 18, 19, -20, -21, -22, -24, 25, -26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, 18, 19, 20, -21, -22, -24, 25, 26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, -18, -19, -20, -21, -22, 24, -25, -26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, -18, -19, 20, -21, -22, 24, -25, -26, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, -18, 19, -20, -21, -22, 24, -25, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, -18, 19, 20, -21, -22, 24, -25, 26, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, 18, -19, -20, -21, -22, 24, -25, 26, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, 18, -19, 20, -21, -22, 24, -25, 26, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, 18, 19, -20, -21, -22, 24, 25, -26] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, 17, 18, 19, 20, -21, -22, 24, 25, 26, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, -18, -20, 21, -22, -24, 25, -26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, 18, -19, -20, 21, -22, 24, -25, -26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, 18, 19, -20, 21, -22, 24, 25, -26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, 17, -18, -19, -20, 21, 22, -24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, 17, -18, 19, -20, 21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, 17, 18, -19, 20, -21, -22, -24, -25, -26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, 17, 18, 19, 20, -21, -22, -24, 25, -26] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, -18, -20, -21, -22, 24, 25, 26, 27, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, -18, -20, 21, 22, -24, -25, -26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, -18, 20, -21, 22, -24, -25, 26, 27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, -18, 20, 21, 22, 24, -25, -26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, -19, -20, -21, 22, 24, -25, 26, -27, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, -19, -20, 21, 22, 24, -25, 26, -27, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, -19, 20, -21, 22, 24, -25, 26, 27, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, -19, 20, 21, 22, 24, 25, 26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, 19, -20, 21, -22, -24, -25, -26, -27, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, 19, 20, -21, -22, -24, -25, -26, 27, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, -17, 18, 19, 20, 21, -22, -24, -25, 26, -27, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, -19, -20, -21, -22, -24, 25, -26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, -19, -20, 21, -22, -24, 25, 26, -27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, -19, 20, -21, -22, 24, -25, -26, -27, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, -19, 20, 21, -22, 24, -25, -26, 27, 29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, 19, -20, -21, -22, 24, -25, 26, -27, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, 19, -20, 21, -22, 24, -25, 26, 27, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, 19, 20, -21, -22, 24, -25, 26, 27, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, -18, 19, 20, 21, -22, 24, 25, -26, 27] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, -19, -20, -21, -22, 24, 25, 26, 27, -29] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, -19, -20, 21, 22, -24, -25, -26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, -19, 20, -21, 22, -24, -25, 26, 27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, -19, 20, 21, 22, 24, -25, -26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, 19, -20, -21, 22, 24, -25, 26, -27, -29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, 19, -20, 21, 22, 24, -25, 26, -27, 29, 30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, 19, 20, -21, 22, 24, -25, 26, 27, 29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, -16, 17, 18, 19, 20, 21, 22, 24, 25, 26, -27] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, -17, -18, 20, -21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, -17, 18, -19, -20, -21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, -17, 18, -19, 20, 21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, -17, 18, 19, -20, 21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, -18, -19, -20, -21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, -18, -19, 20, -21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, -18, 19, -20, 21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, -18, 19, 20, 21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, 18, -19, 20, -21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, 18, 19, -20, -21, 22, 24, -25] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, 15, 16, 17, 18, 19, 20, 21, -22, 24, -25, -26, -27] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, 14, -15, -16, -17, -18, -20, -21, 22, 24, -25, 26, -29, -30, 31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, 14, -15, -16, -17, -18, 20, -21, -22, -24, -25, -26, -29, 30, -31] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, 14, -15, -16, -17, -18, 20, 21, -22, -24, 25, -26] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, 14, -15, -16, -17, 18, -19, -20, -21, -22, 24, -25, 26, -29, -30] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, 14, -15, -16, -17, 18, -19, -20, 21, -22, 24, 25, 26, -29] -> []


Detected pigeons:

 ph3-2_1 = [[-32, 228], [-209, 40], [-389, -322]]

 ph3-2_2 = [[-32, 215], [228, -32], [-389, -322]]

 ph3-2_3 = [[-32, 215], [228, -32], [-302, -297]]

[startup+1800.05 s]
# the end of solver process 419956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1757.02 s, system=0.026776 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1757.04
CPU user time (s): 1757.02
CPU system time (s): 0.026776
CPU usage (%): 97.6108
Max. virtual memory (cumulated for all children) (KiB): 38044
Max. memory (cumulated for all children) (KiB): 11148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.02
system time used= 0.026776
maximum resident set size= 11268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 27376


# summary of solver processes directly reported to runsolver:
#   pid: 419956
#   total CPU time (s): 1757.04
#   total CPU user time (s): 1757.02
#   total CPU system time (s): 0.026776

??? end of timestamper thread
runsolver used 15.7855 second user time and 20.211 second system time

The end
