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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/SSA/ssa2670-141.cnf 

running on 1 cores: 2

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


[startup+0.100726 s]*
/proc/loadavg: 0.01 0.77 1.40 9/458 419964
/proc/meminfo: memFree=1700868/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10364 CPUtime=0.1 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1483 0 0 0 10 0 0 0 20 0 1 0 226271257 39219200 2591 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2591 1483 2 0 1984 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10364 KiB

[startup+0.233726 s]*
/proc/loadavg: 0.01 0.77 1.40 10/458 419964
/proc/meminfo: memFree=1695592/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10364 CPUtime=0.21 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1491 0 0 0 21 0 0 0 20 0 1 0 226271257 39219200 2591 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2591 1483 2 0 1984 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10364 KiB

[startup+0.340725 s]*
/proc/loadavg: 0.01 0.77 1.40 9/458 419964
/proc/meminfo: memFree=1694836/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10628 CPUtime=0.29 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1496 0 0 0 29 0 0 0 20 0 1 0 226271257 39219200 2657 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2657 1483 2 0 1984 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10628 KiB

[startup+0.70073 s]
/proc/loadavg: 0.01 0.77 1.40 10/458 419964
/proc/meminfo: memFree=1693576/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10628 CPUtime=0.58 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1548 0 0 0 58 0 0 0 20 0 1 0 226271257 39219200 2657 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2657 1483 2 0 1984 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10628 KiB

[startup+1.50072 s]
/proc/loadavg: 0.01 0.77 1.40 8/458 419964
/proc/meminfo: memFree=1693072/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10628 CPUtime=1.35 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1558 0 0 0 135 0 0 0 20 0 1 0 226271257 39219200 2657 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2657 1483 2 0 1984 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10628 KiB

[startup+3.13872 s]
/proc/loadavg: 0.01 0.77 1.40 6/450 419974
/proc/meminfo: memFree=1708732/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10628 CPUtime=2.94 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1558 0 0 0 294 0 0 0 20 0 1 0 226271257 39219200 2657 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2657 1483 2 0 1984 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10628 KiB

[startup+6.30072 s]
/proc/loadavg: 0.25 0.81 1.41 5/450 419974
/proc/meminfo: memFree=1708868/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10892 CPUtime=6.03 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1568 0 0 0 603 0 0 0 20 0 1 0 226271257 39219200 2723 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2723 1483 2 0 1984 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10892 KiB

[startup+12.7007 s]
/proc/loadavg: 0.55 0.86 1.42 6/450 419974
/proc/meminfo: memFree=1708704/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10892 CPUtime=12.29 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1572 0 0 0 1229 0 0 0 20 0 1 0 226271257 39219200 2723 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2723 1483 2 0 1984 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10892 KiB

[startup+25.5007 s]
/proc/loadavg: 1.10 0.97 1.45 6/448 419975
/proc/meminfo: memFree=1708756/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10892 CPUtime=24.78 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1583 0 0 0 2478 0 0 0 20 0 1 0 226271257 39219200 2723 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2723 1483 2 0 1984 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10892 KiB

[startup+51.1297 s]
/proc/loadavg: 1.82 1.15 1.50 5/448 419975
/proc/meminfo: memFree=1707532/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=10892 CPUtime=49.8 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1604 0 0 0 4980 0 0 0 20 0 1 0 226271257 39219200 2723 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2723 1483 2 0 1984 0
Current children cumulated CPU time: 49.8 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 10892 KiB

[startup+102.301 s]
/proc/loadavg: 2.49 1.43 1.58 6/448 419995
/proc/meminfo: memFree=1707056/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=11156 CPUtime=99.76 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1645 0 0 0 9976 0 0 0 20 0 1 0 226271257 39219200 2789 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 2789 1483 2 0 1984 0
Current children cumulated CPU time: 99.76 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 11156 KiB

[startup+162.301 s]
/proc/loadavg: 2.87 1.74 1.67 6/448 420006
/proc/meminfo: memFree=1704188/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38300 memory=13256 CPUtime=158.36 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1696 0 0 0 15836 0 0 0 20 0 1 0 226271257 39219200 3314 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 3314 1483 2 0 1984 0
Current children cumulated CPU time: 158.36 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 13256 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=419962] ppid=419961 vsize=38300 memory=13256 CPUtime=216.95 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1746 0 0 0 21695 0 0 0 20 0 1 0 226271257 39219200 3314 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9575 3314 1483 2 0 1984 0
Current children cumulated CPU time: 216.95 s
Current children cumulated vsize: 38300 KiB
Current children cumulated memory: 13256 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 2.16 1.84 6/449 420025
/proc/meminfo: memFree=1702864/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=275.54 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1782 0 0 0 27554 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 275.54 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.32 1.92 6/448 420035
/proc/meminfo: memFree=1702420/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=334.11 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1783 0 0 0 33411 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 334.11 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+402.301 s]
/proc/loadavg: 3.08 2.47 2.00 6/448 420045
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=392.69 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1783 0 0 0 39269 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 392.69 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+462.301 s]
/proc/loadavg: 3.07 2.59 2.07 6/448 420054
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=451.26 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1783 0 0 0 45126 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 451.26 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+522.301 s]
/proc/loadavg: 3.29 2.73 2.15 6/449 420065
/proc/meminfo: memFree=1702064/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=509.84 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1783 0 0 0 50984 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 509.84 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+582.301 s]
/proc/loadavg: 4.38 3.12 2.32 6/447 420075
/proc/meminfo: memFree=1702032/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=568.42 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1783 0 0 0 56842 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 568.42 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+642.301 s]
/proc/loadavg: 5.07 3.55 2.52 7/448 420085
/proc/meminfo: memFree=1701496/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=627 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 62700 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 627 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+702.301 s]
/proc/loadavg: 5.05 3.85 2.69 6/448 420095
/proc/meminfo: memFree=1701212/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=685.58 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 68558 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 685.58 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+762.301 s]
/proc/loadavg: 4.31 3.86 2.77 6/448 420105
/proc/meminfo: memFree=1700960/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=744.16 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 74416 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 744.16 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 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=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=802.74 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 80274 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 802.74 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+882.301 s]
/proc/loadavg: 3.31 3.64 2.83 5/448 420124
/proc/meminfo: memFree=1700456/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=861.32 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 86132 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 861.32 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 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=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=919.9 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 91990 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 919.9 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1002.3 s]
/proc/loadavg: 3.04 3.42 2.85 6/446 420143
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=978.49 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 97849 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 978.49 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 3.34 2.86 7/447 420153
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1037.07 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 103707 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1037.07 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1122.3 s]
/proc/loadavg: 3.05 3.29 2.88 6/448 420163
/proc/meminfo: memFree=1700384/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1095.66 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 109566 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1095.66 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1182.3 s]
/proc/loadavg: 3.12 3.27 2.90 6/446 420173
/proc/meminfo: memFree=1700804/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1154.25 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 115425 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1154.25 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 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=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1212.83 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 121283 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1212.83 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1302.3 s]
/proc/loadavg: 3.17 3.22 2.93 6/448 420193
/proc/meminfo: memFree=1700588/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1271.41 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 127141 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1271.41 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1362.3 s]
/proc/loadavg: 3.06 3.18 2.94 6/448 420204
/proc/meminfo: memFree=1700844/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1329.99 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 132999 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1329.99 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 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=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1388.57 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 138857 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1388.57 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1482.3 s]
/proc/loadavg: 3.01 3.11 2.95 6/448 420222
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1447.15 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 144715 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1447.15 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1542.3 s]
/proc/loadavg: 3.20 3.15 2.98 6/446 420231
/proc/meminfo: memFree=1700316/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1505.73 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 150573 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1505.73 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1602.3 s]
/proc/loadavg: 3.23 3.19 3.00 6/448 420243
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1564.31 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 156431 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1564.31 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1662.3 s]
/proc/loadavg: 3.14 3.17 3.00 6/447 420252
/proc/meminfo: memFree=1700568/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1622.89 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 162289 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1622.89 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1722.3 s]
/proc/loadavg: 3.05 3.14 3.00 6/449 420263
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1681.47 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 168147 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1681.47 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB

[startup+1782.3 s]
/proc/loadavg: 3.02 3.11 3.00 6/448 420276
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1740.05 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 174005 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1740.05 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.01 3.10 3.00 7/448 420277
/proc/meminfo: memFree=1700252/3726824 swapFree=8388604/8388604
[pid=419962] ppid=419961 vsize=38436 memory=13520 CPUtime=1757.35 cores=2
/proc/419962/stat : 419962 (pigeonPurSampli) R 419961 419962 419945 0 -1 4194304 1784 0 0 0 175735 0 0 0 20 0 1 0 226271257 39358464 3380 18446744073709551615 94865459716096 94865459720208 140730557508736 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94865461820672 94865461821444 94865494548480 140730557514251 140730557514325 140730557514325 140730557517793 0
/proc/419962/statm: 9609 3380 1483 2 0 2018 0
Current children cumulated CPU time: 1757.35 s
Current children cumulated vsize: 38436 KiB
Current children cumulated memory: 13520 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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, 67, 68, 69, -70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, 66, 67, 68, -69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, 65, -66, 67, -68, 69, -70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, 65, 66, 67, -68, -69, -70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, 65, 66, 67, 68, 69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, 64, -65, -66, 67, 68, -69, 70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, 64, -65, 66, 67, -68, 69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, 64, 65, -66, 67, -68, -69, 70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, 64, 65, -66, 67, 68, 69, 70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, 64, 65, 66, 67, 68, 69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, -64, -65, -66, 67, 68, -69, -70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, -64, -65, 66, 67, -68, 69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, -64, 65, -66, 67, -68, -69, -70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, -64, 65, -66, 67, 68, 69, -70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, -64, 65, 66, 67, 68, -69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, 64, -65, -66, 67, -68, 69, 70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, 64, -65, 66, 67, -68, -69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, 64, -65, 66, 67, 68, 69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, 64, 65, -66, 67, 68, -69, 70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, 63, 64, 65, 66, 67, 68, -69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, -64, -65, -66, 67, -68, 69, -70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, -64, -65, 66, 67, -68, -69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, -64, -65, 66, 67, 68, 69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, -64, 65, -66, 67, 68, -69, -70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, -64, 65, 66, 67, -68, 69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, 64, -65, -66, 67, -68, -69, 70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, 64, -65, -66, 67, 68, 69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, 64, -65, 66, 67, 68, -69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, 64, 65, -66, 67, -68, 69, 70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, -63, 64, 65, 66, 67, -68, 69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, -65, -66, 67, -68, -69, -70, -71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, -65, -66, 67, 68, 69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, -65, 66, 67, 68, -69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, 65, -66, 67, -68, 69, -70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, 65, 66, 67, -68, -69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, -64, 65, 66, 67, 68, 69, 70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, 64, -65, -66, 67, 68, -69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, 64, -65, 66, 67, -68, 69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, 64, 65, -66, 67, -68, -69, 70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, 64, 65, 66, 67, -68, -69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, 62, 63, 64, 65, 66, 67, 68, 69, -70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, -64, -65, -66, 67, 68, -69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, -64, -65, 66, 67, -68, 69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, -64, 65, -66, 67, -68, -69, -70, 71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, -64, 65, -66, 67, 68, 69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, -64, 65, 66, 67, 68, -69, 70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, 64, -65, -66, 67, -68, 69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, 64, -65, 66, 67, -68, -69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, 64, -65, 66, 67, 68, 69, 70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, 64, 65, -66, 67, 68, 69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, -63, 64, 65, 66, 67, 68, -69, -70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, -64, -65, -66, 67, -68, 69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, -64, -65, 66, 67, -68, -69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, -64, -65, 66, 67, 68, 69, -70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, -64, 65, -66, 67, 68, -69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, -64, 65, 66, 67, -68, 69, 70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, 64, -65, -66, 67, -68, -69, 70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, 64, -65, -66, 67, 68, 69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, 64, -65, 66, 67, 68, -69, 70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, 64, 65, -66, 67, 68, -69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, -62, 63, 64, 65, 66, 67, -68, 69, -70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, -65, -66, 67, -68, -69, -70, -71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, -65, -66, 67, 68, 69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, -65, 66, 67, 68, -69, -70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, 65, -66, 67, -68, 69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, 65, 66, 67, -68, -69, 70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, -64, 65, 66, 67, 68, 69, 70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, 64, -65, -66, 67, 68, -69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, 64, -65, 66, 67, -68, 69, 70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, 64, 65, -66, 67, -68, 69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, 64, 65, 66, 67, -68, -69, -70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, -63, 64, 65, 66, 67, 68, 69, -70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, -64, -65, -66, 67, 68, -69, -70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, -64, -65, 66, 67, -68, 69, -70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, -64, 65, -66, 67, -68, -69, 70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, -64, 65, -66, 67, 68, 69, 70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, -64, 65, 66, 67, 68, -69, 70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, 64, -65, -66, 67, -68, 69, 70, 71, -72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, 64, -65, 66, 67, -68, -69, 70, 71, 72, 73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, 64, 65, -66, 67, -68, -69, -70, -71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, 64, 65, -66, 67, 68, 69, -70, -71, 72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, 61, 62, 63, 64, 65, 66, 67, 68, -69, -70, 71, -72, -73] -> []

[-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, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, 60, -61, -62, -63, -64, -65, -66, 67, -68, 69, -70, 71, -72, 73] -> []


Detected pigeons:

[startup+1800.05 s]
# the end of solver process 419962 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1757.38 s, system=0.00888 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.38
CPU user time (s): 1757.38
CPU system time (s): 0.00888
CPU usage (%): 97.6297
Max. virtual memory (cumulated for all children) (KiB): 38436
Max. memory (cumulated for all children) (KiB): 13520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.38
system time used= 0.00888
maximum resident set size= 13520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 26072


# summary of solver processes directly reported to runsolver:
#   pid: 419962
#   total CPU time (s): 1757.38
#   total CPU user time (s): 1757.38
#   total CPU system time (s): 0.00888

??? end of timestamper thread
runsolver used 15.4946 second user time and 21.4115 second system time

The end
