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

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

running on 1 cores: 1

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


[startup+0.100323 s]*
/proc/loadavg: 0.00 0.01 0.28 5/457 418482
/proc/meminfo: memFree=1707008/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=0.09 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1402 0 0 0 9 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+0.231319 s]*
/proc/loadavg: 0.00 0.01 0.28 5/457 418482
/proc/meminfo: memFree=1706216/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=0.2 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1408 0 0 0 20 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+0.335319 s]*
/proc/loadavg: 0.00 0.01 0.28 5/457 418482
/proc/meminfo: memFree=1705460/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=0.28 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1408 0 0 0 28 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+0.700318 s]
/proc/loadavg: 0.00 0.01 0.28 5/457 418482
/proc/meminfo: memFree=1704704/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=0.57 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1408 0 0 0 57 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+1.50032 s]
/proc/loadavg: 0.00 0.01 0.28 5/457 418482
/proc/meminfo: memFree=1704200/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=1.34 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1409 0 0 0 134 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+3.12532 s]
/proc/loadavg: 0.32 0.08 0.30 5/456 418482
/proc/meminfo: memFree=1703948/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=2.92 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1410 0 0 0 292 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+6.30032 s]
/proc/loadavg: 0.32 0.08 0.30 5/456 418482
/proc/meminfo: memFree=1703884/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=6.01 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1415 0 0 0 601 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+12.7003 s]
/proc/loadavg: 0.62 0.14 0.32 5/456 418482
/proc/meminfo: memFree=1703412/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10152 CPUtime=12.25 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1427 0 0 0 1225 0 0 0 20 0 1 0 225476852 38961152 2538 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2538 1496 2 0 1921 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10152 KiB

[startup+25.5003 s]
/proc/loadavg: 1.37 0.33 0.38 7/456 418490
/proc/meminfo: memFree=1701672/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10476 CPUtime=24.71 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1451 0 0 0 2471 0 0 0 20 0 1 0 225476852 38961152 2619 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2619 1512 2 0 1921 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10476 KiB

[startup+51.1293 s]
/proc/loadavg: 2.25 0.63 0.48 4/448 418492
/proc/meminfo: memFree=1708500/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10476 CPUtime=49.68 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1492 0 0 0 4968 0 0 0 20 0 1 0 225476852 38961152 2619 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2619 1512 2 0 1921 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10476 KiB

[startup+102.3 s]
/proc/loadavg: 2.68 1.00 0.61 4/448 418502
/proc/meminfo: memFree=1708080/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10476 CPUtime=99.63 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1495 0 0 0 9963 0 0 0 20 0 1 0 225476852 38961152 2619 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2619 1512 2 0 1921 0
Current children cumulated CPU time: 99.63 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10476 KiB

[startup+162.3 s]
/proc/loadavg: 2.88 1.36 0.76 4/448 418511
/proc/meminfo: memFree=1708108/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=158.2 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1499 0 0 0 15820 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 158.2 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+222.3 s]
/proc/loadavg: 2.96 1.66 0.91 4/448 418522
/proc/meminfo: memFree=1707012/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=216.78 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1502 0 0 0 21678 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 216.78 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+282.3 s]
/proc/loadavg: 2.99 1.91 1.04 4/448 418531
/proc/meminfo: memFree=1707036/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=275.36 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1506 0 0 0 27536 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 275.36 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+342.3 s]
/proc/loadavg: 3.04 2.12 1.17 4/447 418541
/proc/meminfo: memFree=1706312/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=333.94 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1512 0 0 0 33394 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 333.94 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+402.3 s]
/proc/loadavg: 3.04 2.30 1.29 4/447 418550
/proc/meminfo: memFree=1704960/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=392.52 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1512 0 0 0 39252 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 392.52 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+462.3 s]
/proc/loadavg: 3.06 2.45 1.41 4/447 418560
/proc/meminfo: memFree=1704676/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=451.09 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1514 0 0 0 45109 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 451.09 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+522.3 s]
/proc/loadavg: 3.05 2.56 1.52 4/447 418569
/proc/meminfo: memFree=1704424/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=509.67 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1515 0 0 0 50967 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 509.67 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+582.3 s]
/proc/loadavg: 3.02 2.64 1.61 4/447 418579
/proc/meminfo: memFree=1704396/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=568.26 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1523 0 0 0 56826 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 568.26 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+642.3 s]
/proc/loadavg: 3.00 2.71 1.70 4/447 418589
/proc/meminfo: memFree=1704652/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=626.84 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1537 0 0 0 62684 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 626.84 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+702.3 s]
/proc/loadavg: 3.00 2.77 1.79 4/447 418600
/proc/meminfo: memFree=1703652/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=685.42 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1537 0 0 0 68542 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 685.42 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+762.3 s]
/proc/loadavg: 3.10 2.84 1.87 4/447 418609
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=744 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1537 0 0 0 74400 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 744 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+822.3 s]
/proc/loadavg: 3.17 2.91 1.96 4/447 418619
/proc/meminfo: memFree=1703620/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=802.58 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1537 0 0 0 80258 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 802.58 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+882.3 s]
/proc/loadavg: 3.15 2.95 2.04 4/446 418639
/proc/meminfo: memFree=1703868/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=861.16 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1537 0 0 0 86116 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 861.16 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+942.3 s]
/proc/loadavg: 3.19 3.00 2.11 4/447 418649
/proc/meminfo: memFree=1703588/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=919.74 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1538 0 0 0 91974 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 919.74 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1002.3 s]
/proc/loadavg: 3.07 3.00 2.17 4/446 418658
/proc/meminfo: memFree=1703784/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=978.32 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1538 0 0 0 97832 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 978.32 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1062.3 s]
/proc/loadavg: 3.02 3.00 2.22 4/447 418669
/proc/meminfo: memFree=1703808/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1036.9 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1538 0 0 0 103690 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1036.9 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1122.3 s]
/proc/loadavg: 3.01 3.00 2.28 4/447 418678
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1095.49 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1539 0 0 0 109549 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1095.49 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.32 4/447 418687
/proc/meminfo: memFree=1703776/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1154.07 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1540 0 0 0 115407 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1154.07 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.37 4/447 418697
/proc/meminfo: memFree=1703188/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1212.65 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1540 0 0 0 121265 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1212.65 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.41 4/447 418708
/proc/meminfo: memFree=1703380/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1271.23 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1548 0 0 0 127123 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1271.23 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1362.3 s]
/proc/loadavg: 3.09 3.03 2.46 4/447 418718
/proc/meminfo: memFree=1703552/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1329.82 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1551 0 0 0 132982 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1329.82 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1422.3 s]
/proc/loadavg: 3.07 3.03 2.50 4/447 418728
/proc/meminfo: memFree=1703156/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1388.4 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1551 0 0 0 138840 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1388.4 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.54 4/447 418737
/proc/meminfo: memFree=1703268/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1446.98 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1553 0 0 0 144698 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1446.98 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1542.3 s]
/proc/loadavg: 3.09 3.05 2.58 4/447 418746
/proc/meminfo: memFree=1703472/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1505.56 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1553 0 0 0 150556 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1505.56 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1602.3 s]
/proc/loadavg: 3.03 3.03 2.61 4/447 418765
/proc/meminfo: memFree=1703148/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1564.13 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1553 0 0 0 156413 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1564.13 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1662.3 s]
/proc/loadavg: 3.08 3.04 2.64 4/449 418777
/proc/meminfo: memFree=1703120/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1622.7 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 162270 0 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1622.7 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1722.3 s]
/proc/loadavg: 3.03 3.03 2.66 4/449 418790
/proc/meminfo: memFree=1703144/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1681.28 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 168127 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1681.28 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1782.3 s]
/proc/loadavg: 3.01 3.02 2.69 4/449 418799
/proc/meminfo: memFree=1702892/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1739.86 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 173985 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1739.86 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB
slurmstepd: error: *** JOB 4285 ON node201 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***
[-1, -3, -4, -7, -8, -9, -11, -13, -15] -> ph3-2_1 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, -25, -27, 29, -33, 34, 36, 38] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, 25, -27, -29, 33, 34, 36] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, -25, -27, -29, 33, -34, -36] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, -29, -33, -34, 36, 38] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, 29, 33, -34, 36, 38] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40, 41] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, -40, 41] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, 29, 33, 34, -36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, -40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, 29, -33, 34, -36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, 27, -29, 33, 34, 36, 38] -> ph3-2_5 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, -33, 34, -36, 38, 39, 40, 41] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, 40, 41] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, 29, 33, -34, 36, 38, 39, -40] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, -29, -33, -34, -36, 38, 39, 40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, 40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, 29, -33, -34, 36, 38, 39, -40] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, 27, -29, 33, -34, 36, 38] -> ph3-2_5 

[-1, -3, -4, -7, -8, -9, 11, -13, -15, 16, -25, -27, -29, 33, 34, -36, 38, 39, 40, -41] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, -15, 16, 25, -27, -29, -33, 34, 36, 38, 39, 40, 41] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, -25, -27, -29, -33, -34, -36, 38, 39, 40, 41] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, -25, -27, 29, 33, -34, -36, 38, 39, 40] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, 25, -27, -29, 33, 34, 36, 38, 39, 40, 41] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, -36, 38, -39, 40, -41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, 36, 38, 39, -40, 41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40, -41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, -36, 38, -39, 40, 41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, 36, 38, 39, 40, -41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, -40, 41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, 39, 40, 41, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, -34, 36, 38, -39, -40, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, 34, 36, 38, 39, 40, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, 33, 34, -36, 38, 39, -40, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, 27, -29, -33, -34, 36] -> ph3-2_9 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, -36, 38, -39, 40, 41] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42, 45, -47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, 39, 40, -41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, 36, 38, -39, -40, 41, 42] -> ph3-2_4 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, 36, 38, 39, 40, 41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, 47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, -47, -49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, 27, -29, -33, 34, 36, 38] -> ph3-2_11 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, -36, 38, -39, 40, 41, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, 36, 38, 39, 40, -41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40, 41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, -47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, -47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, -34, -36] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, -47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, 27, -29, 33, -34, 36, 38] -> ph3-2_11 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, -36, 38, -39, 40, 41, 42, 45, 47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, 41, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, 36, 38, 39, 40, -41, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, -36, 38, 39, -40, -41, 42, 45, -47, -49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, 36, 38, -39, -40, 41, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, 36, 38, 39, 40, 41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, 40, -41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, 34, -36, 38, 39, -40, 41, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, -34, -36, 38, -39, -40, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, 47, 49, 51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, 34, -36, 38, 39, 40, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, -34, 36, 38, 39, -40, 42, 45, -47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, 47, 49, -51] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, 27, 29, -33, -34, -36] -> ph3-2_9 

[-1, -3, -4, -7, -8, 9, -11, -13, -15, 16, -25, -27, -29, 33, 34, 36, 38, 39, -40, 41] -> ph3-2_12 

[-1, -3, -4, -7, -8, 9, -11, -13, -15, 16, 25, -27, -29, 33, -34, -36, 38, 39, 40, -41] -> ph3-2_12 

[-1, -3, -4, -7, -8, 9, -11, -13, 15, 16, -25, -27, -29, -33, -34, 36, 38, 39, 40, -41] -> ph3-2_12 

[-1, -3, -4, -7, -8, -9, -11, -13] -> ph3-2_1 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, -25, -27, 29, -33, 34, 36] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, 25, -27, -29, 33, 34] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, -25, -27, -29, 33, -34] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, -29, -33, -34, 36] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, 29, 33, -34, 36] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, 29, 33, 34, -36, 38, -39] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, -41] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, -40, -41] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, 29, -33, 34, -36, 38, -39] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, 27, -29, 33, 34, 36] -> ph3-2_5 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, -33, 34, -36, 38, 39, 40] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, 40] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, 29, 33, -34, 36, 38, 39] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, -29, -33, -34, -36, 38, 39, 40, -41] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, 40, -41] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, 29, -33, -34, 36, 38, 39] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, 27, -29, 33, -34, 36] -> ph3-2_5 

[-1, -3, -4, -7, -8, -9, 11, -13, -15, 16, -25, -27, -29, 33, 34, -36, 38, 39, 40] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, -15, 16, 25, -27, -29, -33, 34, 36, 38, 39, 40] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, -25, -27, -29, -33, -34, -36, 38, 39, 40] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, -25, -27, 29, 33, -34, -36, 38, 39] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, -13, 15, 16, 25, -27, -29, 33, 34, 36, 38, 39, 40] -> ph3-2_7 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, -36, 38, -39, 40, -41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, 36, 38, -39, -40, -41] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, -34, 36, 38, 39, -40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40, -41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, -36, 38, -39, 40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, -34, 36, 38, 39, 40, -41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, -40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, 39, 40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, -34, 36, 38, -39, -40, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, -33, 34, 36, 38, 39, 40, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, -27, 29, 33, 34, -36, 38, 39, -40, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, -25, 27, -29, -33, -34] -> ph3-2_9 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, -36, 38, -39, 40] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, 39, 40, -41] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, 36, 38, -39, -40, 41] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, -29, 33, 34, 36, 38, 39, 40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, -15, 16, 17, 25, 27, -29, -33, 34, 36] -> ph3-2_9 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, -36, 38, -39, 40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, 36, 38, -39, -40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, -34, 36, 38, 39, 40, -41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, -36, 38, -39, 40, 41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39, -40, 41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, -33, 34, 36, 38, 39, 40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, 36, 38, -39, -40, 41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39, -40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, -34] -> ph3-2_10 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, -33, 34, -36, 38, 39, -40, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, -34, 36, 38, -39, 40, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, -25, 27, -29, 33, -34, 36] -> ph3-2_9 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, -36, 38, -39, 40, 41, 42, 45, 47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40, 41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, -34, 36, 38, 39, 40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, -36, 38, 39, -40, -41, 42, 45, -47, -49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, 36, 38, -39, -40, 41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, -33, 34, 36, 38, 39, 40, 41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, -36, 38, 39, -40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, 40, -41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, -34, 36, 38, 39, 40, 41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, 34, -36, 38, 39, -40, 41, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, -29, 33, 34, 36, 38, -39, 40, -41, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, -34, -36, 38, -39, -40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, -34, 36, 38, -39, 40, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, -33, 34, -36, 38, 39, 40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, -34, -36, 38, -39, -40, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, -34, 36, 38, 39, -40, 42, 45, -47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, -27, 29, 33, 34, -36, 38, 39, 40, 42, 45, 47, 49] -> ph3-2_8 

[-1, -3, -4, -7, -8, -9, 11, 13, 15, 16, 17, 25, 27, 29, -33, -34] -> ph3-2_9 

[-1, -3, -4, -7, -8, 9, -11, -13, -15, 16, -25, -27, -29, 33, 34, 36, 38, 39, -40] -> ph3-2_12 

[-1, -3, -4, -7, -8, 9, -11, -13, -15, 16, 25, -27, -29, 33, -34, -36, 38, 39, 40] -> ph3-2_12 

[-1, -3, -4, -7, -8, 9, -11, -13, 15, 16, -25, -27, -29, -33, -34, 36, 38, 39, 40] -> ph3-2_12 

[-1, -3, -4, -7, -8, -9, -11] -> ph3-2_1 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, -25, -27, 29, -33, 34] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, -15, 16, 25, -27, -29, 33] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, -25, -27, -29, 33] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, -29, -33, -34] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, -13, 15, 16, 25, -27, 29, 33, -34] -> ph3-2_2 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, -33, 34, 36, 38, -39] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, -29, 33, 34, 36, 38, -39] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, -25, -27, 29, 33, 34, -36, 38] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, -33, -34, 36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, -29, 33, -34, 36, 38, -39, -40] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, -27, 29, -33, 34, -36, 38] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, -15, 16, 17, 25, 27, -29, 33, 34] -> ph3-2_5 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, -33, 34, -36, 38, 39] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, -29, 33, 34, -36, 38, 39] -> ph3-2_6 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, -25, -27, 29, 33, -34, 36, 38] -> ph3-2_3 

[-1, -3, -4, -7, -8, -9, -11, 13, 15, 16, 17, 25, -27, -29, -33, -34, -36, 38, 39, 40] -> ph3-2_6 


Detected pigeons:

 ph3-2_1 = [[67, 373], [-369, -373], [-461, -446]]

 ph3-2_2 = [[-282, -373], [319, 384], [-461, -446]]

 ph3-2_3 = [[-71, -68], [97, 446], [477, -113]]

 ph3-2_4 = [[-95, -372], [-185, -76], [-461, -446]]

 ph3-2_5 = [[-185, -76], [-461, -446], [477, -113]]

 ph3-2_6 = [[188, -271], [-461, -446], [477, -113]]

 ph3-2_7 = [[-373, -282], [433, -373], [-461, -446]]

 ph3-2_8 = [[132, 88], [-418, 461], [-446, -461]]

 ph3-2_9 = [[-139, 39], [433, -373], [-461, -446]]

 ph3-2_10 = [[433, -373], [-436, 113], [-461, -446]]

 ph3-2_11 = [[433, -373], [442, -341], [-461, -446]]

 ph3-2_12 = [[-282, -373], [-461, -446], [468, -371]]

[startup+1799.35 s]
# the end of solver process 418472 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.5 s, system=0.010823 s

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

[startup+1792 s]*
/proc/loadavg: 3.01 3.02 2.69 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1749.35 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 174934 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1749.35 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1795.2 s]
/proc/loadavg: 3.01 3.02 2.69 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1752.45 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175244 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1752.45 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1796.8 s]
/proc/loadavg: 3.01 3.02 2.69 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1754.02 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175401 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1754.02 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1798.4 s]
/proc/loadavg: 3.01 3.02 2.70 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1755.58 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175557 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1755.58 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1798.8 s]
/proc/loadavg: 3.01 3.02 2.70 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1755.98 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175597 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1755.98 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1799.2 s]
/proc/loadavg: 3.01 3.02 2.70 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1756.35 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175634 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1756.35 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

[startup+1799.3 s]
/proc/loadavg: 3.01 3.02 2.70 4/449 418800
/proc/meminfo: memFree=1702888/3726824 swapFree=8388604/8388604
[pid=418472] ppid=418469 vsize=38048 memory=10740 CPUtime=1756.45 cores=1
/proc/418472/stat : 418472 (pigeonPurSampli) R 418469 418472 418452 0 -1 4194304 1554 0 0 0 175644 1 0 0 20 0 1 0 225476852 38961152 2685 18446744073709551615 94494409904128 94494409908240 140720721761184 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94494412008704 94494412009476 94494425378816 140720721764852 140720721764950 140720721764950 140720721768417 0
/proc/418472/statm: 9512 2685 1512 2 0 1921 0
Current children cumulated CPU time: 1756.45 s
Current children cumulated vsize: 38048 KiB
Current children cumulated memory: 10740 KiB

Child status: 1
Real time (s): 1799.35
CPU time (s): 1756.51
CPU user time (s): 1756.5
CPU system time (s): 0.010823
CPU usage (%): 97.6189
Max. virtual memory (cumulated for all children) (KiB): 38048
Max. memory (cumulated for all children) (KiB): 10740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.5
system time used= 0.010823
maximum resident set size= 10972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1558
page faults= 0
swaps= 0
block input operations= 24
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 28437


# summary of solver processes directly reported to runsolver:
#   pid: 418472
#   total CPU time (s): 1756.51
#   total CPU user time (s): 1756.5
#   total CPU system time (s): 0.010823

??? end of timestamper thread
runsolver used 15.7157 second user time and 21.5138 second system time

The end
