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: 2
  memory of node 0: 15859 MiB (13197 MiB free)
  memory of node 1: 16087 MiB (13582 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/fgpa_routing/apex7_gr_2pin_w4.shuffled.cnf 

running on 1 cores: 4

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


[startup+0.100262 s]*
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27383160/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13324 CPUtime=0.09 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2192 0 0 0 8 1 0 0 20 0 1 0 398715100 41832448 3331 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3331 1520 2 0 2625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13324 KiB

[startup+0.221266 s]*
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27368952/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13324 CPUtime=0.19 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2193 0 0 0 18 1 0 0 20 0 1 0 398715100 41832448 3331 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3331 1520 2 0 2625 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13324 KiB

[startup+0.327268 s]*
/proc/loadavg: 0.00 0.00 0.11 7/544 1276240
/proc/meminfo: memFree=27367564/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13324 CPUtime=0.28 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2197 0 0 0 27 1 0 0 20 0 1 0 398715100 41832448 3331 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3331 1520 2 0 2625 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13324 KiB

[startup+0.701272 s]
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27366492/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=0.6 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2203 0 0 0 59 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+1.50127 s]
/proc/loadavg: 0.00 0.00 0.11 7/544 1276240
/proc/meminfo: memFree=27366536/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=1.37 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2204 0 0 0 136 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+3.12127 s]
/proc/loadavg: 0.40 0.08 0.14 7/544 1276241
/proc/meminfo: memFree=27366484/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=2.95 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2204 0 0 0 294 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+6.30127 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=6.06 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2204 0 0 0 605 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+12.7013 s]
/proc/loadavg: 1.57 0.34 0.22 12/569 1276275
/proc/meminfo: memFree=27301916/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=12.31 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2205 0 0 0 1230 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+25.5013 s]
/proc/loadavg: 2.56 0.60 0.31 12/569 1276275
/proc/meminfo: memFree=27300616/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=24.8 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2206 0 0 0 2479 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+51.1263 s]
/proc/loadavg: 4.49 1.21 0.52 11/569 1276283
/proc/meminfo: memFree=27296568/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=49.79 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2209 0 0 0 4978 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 49.79 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+102.301 s]
/proc/loadavg: 6.80 2.41 0.97 12/568 1276285
/proc/meminfo: memFree=27295528/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=99.72 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2212 0 0 0 9971 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 99.72 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 3.53 1.45 11/569 1276295
/proc/meminfo: memFree=27294808/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=158.24 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2215 0 0 0 15823 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 158.24 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+222.301 s]
/proc/loadavg: 8.06 4.36 1.87 12/569 1276305
/proc/meminfo: memFree=27292752/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=40852 memory=13588 CPUtime=216.76 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 2219 0 0 0 21675 1 0 0 20 0 1 0 398715100 41832448 3397 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10213 3397 1520 2 0 2625 0
Current children cumulated CPU time: 216.76 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13588 KiB

[startup+282.3 s]
/proc/loadavg: 8.55 5.19 2.31 11/569 1276314
/proc/meminfo: memFree=27292848/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=275.24 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 3980 0 0 0 27517 7 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 275.24 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+342.31 s]
/proc/loadavg: 8.34 5.74 2.68 10/568 1276323
/proc/meminfo: memFree=27291784/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=333.73 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 3985 0 0 0 33366 7 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 333.73 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.18 3.02 10/568 1276333
/proc/meminfo: memFree=27291188/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=392.18 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 3988 0 0 0 39211 7 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 392.18 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+462.301 s]
/proc/loadavg: 8.17 6.54 3.35 10/567 1276342
/proc/meminfo: memFree=27288200/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=450.64 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 3994 0 0 0 45056 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 450.64 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+522.301 s]
/proc/loadavg: 8.12 6.83 3.65 11/567 1276352
/proc/meminfo: memFree=27288172/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=509.12 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 3998 0 0 0 50904 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 509.12 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 11/567 1276362
/proc/meminfo: memFree=27287936/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=567.64 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 4002 0 0 0 56756 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 567.64 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+642.301 s]
/proc/loadavg: 8.33 7.33 4.22 11/567 1276371
/proc/meminfo: memFree=27287700/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=626.14 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 4006 0 0 0 62606 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 626.14 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+702.301 s]
/proc/loadavg: 8.56 7.60 4.51 10/567 1276380
/proc/meminfo: memFree=27282088/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=684.61 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 4010 0 0 0 68453 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 684.61 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+762.3 s]
/proc/loadavg: 8.40 7.74 4.75 11/567 1276389
/proc/meminfo: memFree=27282064/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=41108 memory=13668 CPUtime=743.08 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 4015 0 0 0 74300 8 0 0 20 0 1 0 398715100 42094592 3417 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10277 3417 1520 2 0 2689 0
Current children cumulated CPU time: 743.08 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 13668 KiB

[startup+822.301 s]
/proc/loadavg: 8.39 7.86 4.99 11/567 1276399
/proc/meminfo: memFree=27280268/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15748 CPUtime=801.58 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5063 0 0 0 80150 8 0 0 20 0 1 0 398715100 43667456 3937 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3937 1520 2 0 3073 0
Current children cumulated CPU time: 801.58 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15748 KiB

[startup+882.301 s]
/proc/loadavg: 8.31 7.95 5.20 11/567 1276408
/proc/meminfo: memFree=27279908/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=860.03 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5819 0 0 0 85995 8 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 860.03 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+942.303 s]
/proc/loadavg: 8.11 7.96 5.38 10/568 1276418
/proc/meminfo: memFree=27278864/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=918.49 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5819 0 0 0 91840 9 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 918.49 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+1002.3 s]
/proc/loadavg: 8.04 7.97 5.54 10/568 1276436
/proc/meminfo: memFree=27278752/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=976.99 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5819 0 0 0 97690 9 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 976.99 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 11/569 1276446
/proc/meminfo: memFree=27278656/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=1035.47 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5824 0 0 0 103538 9 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 1035.47 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 13/569 1276456
/proc/meminfo: memFree=27278580/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=1093.96 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5824 0 0 0 109387 9 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 1093.96 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 12/569 1276466
/proc/meminfo: memFree=27278436/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=15912 CPUtime=1152.47 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5824 0 0 0 115238 9 0 0 20 0 1 0 398715100 43667456 3978 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 3978 1520 2 0 3073 0
Current children cumulated CPU time: 1152.47 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 15912 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 10/569 1276476
/proc/meminfo: memFree=27272308/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17948 CPUtime=1210.95 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5826 0 0 0 121086 9 0 0 20 0 1 0 398715100 43667456 4487 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4487 1520 2 0 3073 0
Current children cumulated CPU time: 1210.95 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17948 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 13/569 1276496
/proc/meminfo: memFree=27269064/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17948 CPUtime=1269.37 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5828 0 0 0 126928 9 0 0 20 0 1 0 398715100 43667456 4487 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4487 1520 2 0 3073 0
Current children cumulated CPU time: 1269.37 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17948 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 10/569 1276505
/proc/meminfo: memFree=27269584/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17948 CPUtime=1327.88 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5829 0 0 0 132779 9 0 0 20 0 1 0 398715100 43667456 4487 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4487 1520 2 0 3073 0
Current children cumulated CPU time: 1327.88 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17948 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.24 6.59 11/568 1276515
/proc/meminfo: memFree=27269516/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1386.39 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5837 0 0 0 138630 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1386.39 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 10/568 1276524
/proc/meminfo: memFree=27269540/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1444.91 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5838 0 0 0 144482 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1444.91 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 11/567 1276533
/proc/meminfo: memFree=27269452/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1503.37 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5840 0 0 0 150328 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1503.37 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 10/567 1276543
/proc/meminfo: memFree=27269432/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1561.88 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5841 0 0 0 156179 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1561.88 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 11/567 1276552
/proc/meminfo: memFree=27269440/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1620.35 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5842 0 0 0 162026 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1620.35 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 11/567 1276562
/proc/meminfo: memFree=27268624/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1678.81 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5843 0 0 0 167872 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1678.81 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 11/567 1276572
/proc/meminfo: memFree=27268848/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1737.3 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5845 0 0 0 173721 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1737.3 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.42 8.35 7.20 14/560 1276585
/proc/meminfo: memFree=27283408/32713960 swapFree=33554428/33554428
[pid=1276230] ppid=1276227 vsize=42644 memory=17964 CPUtime=1754.57 cores=4
/proc/1276230/stat : 1276230 (pigeonPurSampli) R 1276227 1276230 1276209 0 -1 4194304 5845 0 0 0 175448 9 0 0 20 0 1 0 398715100 43667456 4491 18446744073709551615 93927998160896 93927998165008 140726280494912 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93928000265472 93928000266244 93928023101440 140726280503822 140726280503937 140726280503937 140726280507361 0
/proc/1276230/statm: 10661 4491 1520 2 0 3073 0
Current children cumulated CPU time: 1754.57 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 17964 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -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] -> ph3-2_1 


Detected pigeons:

 ph3-2_1 = [[-675, -431], [808, 805], [1026, -1173]]

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

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1754.6
CPU user time (s): 1754.5
CPU system time (s): 0.09921
CPU usage (%): 97.4755
Max. virtual memory (cumulated for all children) (KiB): 42644
Max. memory (cumulated for all children) (KiB): 17964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.5
system time used= 0.09921
maximum resident set size= 17964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5973
page faults= 0
swaps= 0
block input operations= 416
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 65203


# summary of solver processes directly reported to runsolver:
#   pid: 1276230
#   total CPU time (s): 1754.6
#   total CPU user time (s): 1754.5
#   total CPU system time (s): 0.09921

??? end of timestamper thread
runsolver used 15.8647 second user time and 20.3989 second system time

The end
