runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3630 MiB (1714 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/cmpadd/ca128.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100132 s]*
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1735432/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=11712 CPUtime=0.08 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1786 0 0 0 8 0 0 0 20 0 1 0 225468830 40267776 2928 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 2928 1491 2 0 2240 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11712 KiB

[startup+0.226134 s]*
/proc/loadavg: 0.03 0.02 0.09 7/471 412565
/proc/meminfo: memFree=1734676/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=11712 CPUtime=0.2 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1786 0 0 0 20 0 0 0 20 0 1 0 225468830 40267776 2928 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 2928 1491 2 0 2240 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11712 KiB

[startup+0.336134 s]*
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1733416/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=11712 CPUtime=0.28 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1786 0 0 0 28 0 0 0 20 0 1 0 225468830 40267776 2928 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 2928 1491 2 0 2240 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11712 KiB

[startup+0.701133 s]
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1732408/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=11712 CPUtime=0.57 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1794 0 0 0 57 0 0 0 20 0 1 0 225468830 40267776 2928 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 2928 1491 2 0 2240 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11712 KiB

[startup+1.50113 s]
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1731652/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=11976 CPUtime=1.34 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1877 0 0 0 134 0 0 0 20 0 1 0 225468830 40267776 2994 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 2994 1491 2 0 2240 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11976 KiB

[startup+3.14013 s]
/proc/loadavg: 0.35 0.09 0.11 9/471 412565
/proc/meminfo: memFree=1731668/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=2.93 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1901 0 0 0 293 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+6.30113 s]
/proc/loadavg: 0.35 0.09 0.11 9/471 412565
/proc/meminfo: memFree=1730248/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=6 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1901 0 0 0 600 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+12.7041 s]
/proc/loadavg: 0.64 0.16 0.13 8/471 412565
/proc/meminfo: memFree=1729240/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=12.24 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1904 0 0 0 1224 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+25.5021 s]
/proc/loadavg: 1.46 0.36 0.20 8/471 412565
/proc/meminfo: memFree=1729240/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=24.69 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1908 0 0 0 2469 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 24.69 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+51.1321 s]
/proc/loadavg: 2.33 0.65 0.30 8/471 412574
/proc/meminfo: memFree=1727192/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=49.6 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1918 0 0 0 4960 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 49.6 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+102.301 s]
/proc/loadavg: 3.35 1.19 0.50 8/471 412583
/proc/meminfo: memFree=1725176/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12240 CPUtime=99.37 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1936 0 0 0 9937 0 0 0 20 0 1 0 225468830 40267776 3060 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3060 1491 2 0 2240 0
Current children cumulated CPU time: 99.37 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12240 KiB

[startup+162.305 s]
/proc/loadavg: 3.89 1.73 0.73 8/471 412594
/proc/meminfo: memFree=1724356/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12504 CPUtime=157.72 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1960 0 0 0 15772 0 0 0 20 0 1 0 225468830 40267776 3126 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3126 1491 2 0 2240 0
Current children cumulated CPU time: 157.72 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12504 KiB

[startup+222.304 s]
/proc/loadavg: 4.18 2.21 0.96 8/471 412604
/proc/meminfo: memFree=1723096/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12504 CPUtime=216.01 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 1981 0 0 0 21601 0 0 0 20 0 1 0 225468830 40267776 3126 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3126 1491 2 0 2240 0
Current children cumulated CPU time: 216.01 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12504 KiB

[startup+282.301 s]
/proc/loadavg: 4.30 2.60 1.18 8/471 412618
/proc/meminfo: memFree=1722276/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12504 CPUtime=274.3 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2005 0 0 0 27430 0 0 0 20 0 1 0 225468830 40267776 3126 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3126 1491 2 0 2240 0
Current children cumulated CPU time: 274.3 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12504 KiB

[startup+342.301 s]
/proc/loadavg: 4.47 2.96 1.39 9/470 412628
/proc/meminfo: memFree=1722052/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39324 memory=12768 CPUtime=332.67 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2028 0 0 0 33266 1 0 0 20 0 1 0 225468830 40267776 3192 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9831 3192 1491 2 0 2240 0
Current children cumulated CPU time: 332.67 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12768 KiB

[startup+402.301 s]
/proc/loadavg: 4.17 3.16 1.56 9/470 412637
/proc/meminfo: memFree=1721832/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39456 memory=12768 CPUtime=391.01 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2048 0 0 0 39100 1 0 0 20 0 1 0 225468830 40402944 3192 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9864 3192 1491 2 0 2273 0
Current children cumulated CPU time: 391.01 s
Current children cumulated vsize: 39456 KiB
Current children cumulated memory: 12768 KiB

[startup+462.301 s]
/proc/loadavg: 4.06 3.31 1.71 9/470 412647
/proc/meminfo: memFree=1721328/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39592 memory=12768 CPUtime=449.37 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2071 0 0 0 44936 1 0 0 20 0 1 0 225468830 40542208 3192 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9898 3192 1491 2 0 2307 0
Current children cumulated CPU time: 449.37 s
Current children cumulated vsize: 39592 KiB
Current children cumulated memory: 12768 KiB

[startup+522.302 s]
/proc/loadavg: 4.14 3.47 1.87 8/470 412657
/proc/meminfo: memFree=1720572/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=39860 memory=13296 CPUtime=507.73 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2152 0 0 0 50772 1 0 0 20 0 1 0 225468830 40816640 3324 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 9965 3324 1491 2 0 2374 0
Current children cumulated CPU time: 507.73 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 13296 KiB

[startup+582.301 s]
/proc/loadavg: 4.05 3.57 2.01 8/470 412666
/proc/meminfo: memFree=1717672/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40508 memory=13560 CPUtime=566.06 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2271 0 0 0 56605 1 0 0 20 0 1 0 225468830 41480192 3390 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10127 3390 1491 2 0 2536 0
Current children cumulated CPU time: 566.06 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 13560 KiB

[startup+642.306 s]
/proc/loadavg: 4.05 3.66 2.14 8/469 412675
/proc/meminfo: memFree=1716380/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40508 memory=13560 CPUtime=624.41 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2271 0 0 0 62440 1 0 0 20 0 1 0 225468830 41480192 3390 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10127 3390 1491 2 0 2536 0
Current children cumulated CPU time: 624.41 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 13560 KiB

[startup+702.306 s]
/proc/loadavg: 4.32 3.81 2.29 8/469 412685
/proc/meminfo: memFree=1714868/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40508 memory=13844 CPUtime=682.73 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2352 0 0 0 68272 1 0 0 20 0 1 0 225468830 41480192 3461 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10127 3461 1491 2 0 2536 0
Current children cumulated CPU time: 682.73 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 13844 KiB

[startup+762.31 s]
/proc/loadavg: 4.44 3.93 2.43 8/470 412696
/proc/meminfo: memFree=1715120/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=740.9 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 74089 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 740.9 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+822.307 s]
/proc/loadavg: 4.57 4.07 2.57 8/470 412705
/proc/meminfo: memFree=1715088/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=799.22 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 79921 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 799.22 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+882.301 s]
/proc/loadavg: 4.24 4.07 2.67 8/470 412716
/proc/meminfo: memFree=1714836/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=857.54 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 85753 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 857.54 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+942.301 s]
/proc/loadavg: 4.28 4.11 2.77 9/470 412725
/proc/meminfo: memFree=1714584/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=915.87 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 91586 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 915.87 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1002.3 s]
/proc/loadavg: 4.19 4.12 2.86 8/470 412734
/proc/meminfo: memFree=1714868/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=974.18 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 97417 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 974.18 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1062.3 s]
/proc/loadavg: 4.21 4.13 2.95 9/470 412745
/proc/meminfo: memFree=1714584/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1032.41 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 103240 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1032.41 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1122.3 s]
/proc/loadavg: 4.20 4.14 3.03 8/470 412754
/proc/meminfo: memFree=1714836/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1090.74 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 109073 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1090.74 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1182.3 s]
/proc/loadavg: 4.20 4.14 3.10 9/470 412764
/proc/meminfo: memFree=1714812/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1149.07 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2435 0 0 0 114906 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1149.07 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1242.3 s]
/proc/loadavg: 4.36 4.20 3.19 8/470 412773
/proc/meminfo: memFree=1714812/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1207.38 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 120737 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1207.38 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1302.3 s]
/proc/loadavg: 4.64 4.30 3.29 9/470 412783
/proc/meminfo: memFree=1714528/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1265.69 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 126568 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1265.69 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1362.3 s]
/proc/loadavg: 4.70 4.39 3.39 8/469 412793
/proc/meminfo: memFree=1714528/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1323.99 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 132398 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1323.99 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1422.3 s]
/proc/loadavg: 4.26 4.31 3.43 9/469 412802
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1382.28 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 138227 1 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1382.28 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1482.3 s]
/proc/loadavg: 4.17 4.28 3.47 9/470 412813
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1440.58 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 144056 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1440.58 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.24 3.52 8/470 412823
/proc/meminfo: memFree=1714308/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1498.87 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 149885 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1498.87 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1602.3 s]
/proc/loadavg: 4.23 4.25 3.57 8/470 412833
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1557.16 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 155714 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1557.16 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1662.3 s]
/proc/loadavg: 4.24 4.23 3.61 10/470 412843
/proc/meminfo: memFree=1713520/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1615.43 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 161541 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1615.43 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1722.3 s]
/proc/loadavg: 3.94 4.18 3.63 7/462 412854
/proc/meminfo: memFree=1723288/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1673.73 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 167371 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1673.73 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB

[startup+1782.3 s]
/proc/loadavg: 3.57 4.01 3.61 6/461 412863
/proc/meminfo: memFree=1723320/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1732.09 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2437 0 0 0 173207 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1732.09 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.41 3.95 3.59 6/461 412864
/proc/meminfo: memFree=1723320/3717660 swapFree=8388604/8388604
[pid=412562] ppid=412560 vsize=40764 memory=14104 CPUtime=1749.33 cores=2
/proc/412562/stat : 412562 (pigeonPurSampli) R 412560 412562 412540 0 -1 4194304 2439 0 0 0 174931 2 0 0 20 0 1 0 225468830 41742336 3526 18446744073709551615 94048926498816 94048926502928 140724600678992 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 225468830 0 0 94048928603392 94048928604164 94048958742528 140724600685047 140724600685142 140724600685142 140724600688609 0
/proc/412562/statm: 10191 3526 1491 2 0 2600 0
Current children cumulated CPU time: 1749.33 s
Current children cumulated vsize: 40764 KiB
Current children cumulated memory: 14104 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, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, -115, -116, -117, 118, -121, 122, -125, 126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, -115, -116, 117, -118, 121, 122, -125, 126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, -115, 116, -117, -118, -121, 122, -125, 126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, -115, 116, -117, 118, 121, 122, -125, 126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, -115, 116, 117, 118, -121, 122, -125, -126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, 115, -116, -117, -118, 121, 122, -125, -126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, 115, -116, 117, -118, -121, 122, -125, -126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, 115, -116, 117, 118, 121, 122, -125, -126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, 115, 116, -117, 118, -121, -122, -125, 126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, -114, 115, 116, 117, -118, 121, -122, -125, 126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, -116, -117, -118, -121, -122, -125, 126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, -116, -117, 118, 121, -122, -125, 126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, -116, 117, 118, -121, -122, -125, -126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, 116, -117, -118, 121, -122, -125, -126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, 116, 117, -118, -121, -122, -125, -126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, -115, 116, 117, 118, 121, -122, -125, -126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, 115, -116, -117, -118, 121, 122] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, 115, -116, 117, -118, -121, 122, -125, 126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, 115, -116, 117, 118, 121, 122, -125, 126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, 115, 116, -117, 118, -121, 122, -125, 126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, -113, 114, 115, 116, 117, -118, 121, 122, -125, 126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, -116, -117, -118, -121, 122, -125, -126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, -116, -117, 118, 121, 122, -125, -126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, -116, 117, 118, -121, 122, -125, -126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, 116, -117, -118, 121, 122, -125, -126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, 116, 117, -118, -121, -122, -125, 126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, -115, 116, 117, 118, 121, -122, -125, 126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, 115, -116, -117, 118, -121, -122, -125, 126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, 115, -116, 117, -118, 121, -122, -125, 126, -128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, 115, 116, -117, -118, -121, -122, -125, -126, 128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, 115, 116, -117, 118, 121, -122, -125, -126, 128, -130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, -114, 115, 116, 117, 118, -121, -122, -125, -126, -128, 130] -> 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, -23, -24, -25, -26, -27, -28, -30, -32, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -51, -52, -53, -54, -55, -56, -59, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -78, -80, 81, -82, -83, -84, -85, -86, -87, -88, -89, -91, -92, -96, -97, -99, -101, -104, -105, -110, -112, 113, 114, -115, -116, -117, -118, 121, -122, -125, -126, -128, -130] -> ph3-2_1 


Detected pigeons:

 ph3-2_1 = [[1077, -1490], [-1490, -1077], [1490, 1077]]

[startup+1800.06 s]
# the end of solver process 412562 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1749.33 s, system=0.022572 s

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1749.35
CPU user time (s): 1749.33
CPU system time (s): 0.022572
CPU usage (%): 97.1834
Max. virtual memory (cumulated for all children) (KiB): 40764
Max. memory (cumulated for all children) (KiB): 14104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.33
system time used= 0.022572
maximum resident set size= 14104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 89729


# summary of solver processes directly reported to runsolver:
#   pid: 412562
#   total CPU time (s): 1749.35
#   total CPU user time (s): 1749.33
#   total CPU system time (s): 0.022572

??? end of timestamper thread
runsolver used 16.5696 second user time and 22.103 second system time

The end
