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

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

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

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

running on 1 cores: 3

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


[startup+0.100438 s]*
/proc/loadavg: 0.47 0.11 0.55 5/470 426478
/proc/meminfo: memFree=1727760/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=43144 memory=15640 CPUtime=0.07 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 2750 0 0 0 6 1 0 0 20 0 1 0 233596554 44179456 3910 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 10786 3910 1533 2 0 3195 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43144 KiB
Current children cumulated memory: 15640 KiB

[startup+0.227437 s]*
/proc/loadavg: 0.47 0.11 0.55 6/470 426478
/proc/meminfo: memFree=1719900/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23248 CPUtime=0.18 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4672 0 0 0 16 2 0 0 20 0 1 0 233596554 51781632 5812 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5812 1533 2 0 5051 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23248 KiB

[startup+0.336439 s]*
/proc/loadavg: 0.47 0.11 0.55 5/470 426478
/proc/meminfo: memFree=1718892/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23248 CPUtime=0.26 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4673 0 0 0 24 2 0 0 20 0 1 0 233596554 51781632 5812 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5812 1533 2 0 5051 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23248 KiB

[startup+0.704442 s]
/proc/loadavg: 0.47 0.11 0.55 5/470 426478
/proc/meminfo: memFree=1718640/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23248 CPUtime=0.56 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4673 0 0 0 54 2 0 0 20 0 1 0 233596554 51781632 5812 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5812 1533 2 0 5051 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23248 KiB

[startup+1.50044 s]
/proc/loadavg: 0.47 0.11 0.55 5/470 426478
/proc/meminfo: memFree=1718640/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23248 CPUtime=1.33 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4673 0 0 0 131 2 0 0 20 0 1 0 233596554 51781632 5812 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5812 1533 2 0 5051 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23248 KiB

[startup+3.12847 s]
/proc/loadavg: 0.76 0.18 0.57 5/470 426478
/proc/meminfo: memFree=1718640/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23248 CPUtime=2.91 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4678 0 0 0 289 2 0 0 20 0 1 0 233596554 51781632 5812 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5812 1533 2 0 5051 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23248 KiB

[startup+6.30044 s]
/proc/loadavg: 0.76 0.18 0.57 5/470 426478
/proc/meminfo: memFree=1718576/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23512 CPUtime=5.99 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4720 0 0 0 597 2 0 0 20 0 1 0 233596554 51781632 5878 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5878 1533 2 0 5051 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23512 KiB

[startup+12.7004 s]
/proc/loadavg: 1.26 0.30 0.61 5/470 426478
/proc/meminfo: memFree=1717568/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23512 CPUtime=12.21 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4731 0 0 0 1219 2 0 0 20 0 1 0 233596554 51781632 5878 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5878 1533 2 0 5051 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23512 KiB

[startup+25.5004 s]
/proc/loadavg: 1.68 0.43 0.65 5/470 426478
/proc/meminfo: memFree=1717064/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23512 CPUtime=24.64 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4733 0 0 0 2462 2 0 0 20 0 1 0 233596554 51781632 5878 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5878 1533 2 0 5051 0
Current children cumulated CPU time: 24.64 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23512 KiB

[startup+51.1324 s]
/proc/loadavg: 2.54 0.73 0.74 5/470 426487
/proc/meminfo: memFree=1715048/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23512 CPUtime=49.51 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4739 0 0 0 4949 2 0 0 20 0 1 0 233596554 51781632 5878 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5878 1533 2 0 5051 0
Current children cumulated CPU time: 49.51 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23512 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.30 0.94 5/470 426496
/proc/meminfo: memFree=1713756/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23776 CPUtime=99.24 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4747 0 0 0 9922 2 0 0 20 0 1 0 233596554 51781632 5944 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5944 1533 2 0 5051 0
Current children cumulated CPU time: 99.24 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23776 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.79 1.13 5/470 426506
/proc/meminfo: memFree=1712968/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=23776 CPUtime=157.51 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4759 0 0 0 15749 2 0 0 20 0 1 0 233596554 51781632 5944 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 5944 1533 2 0 5051 0
Current children cumulated CPU time: 157.51 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 23776 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.21 1.32 5/469 426516
/proc/meminfo: memFree=1706836/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=215.78 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4769 0 0 0 21576 2 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 215.78 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+282.3 s]
/proc/loadavg: 3.45 2.39 1.44 4/461 426528
/proc/meminfo: memFree=1716896/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=274.21 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4777 0 0 0 27418 3 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 274.21 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+342.3 s]
/proc/loadavg: 3.05 2.48 1.53 3/454 426540
/proc/meminfo: memFree=1725772/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=332.66 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4788 0 0 0 33263 3 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 332.66 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+402.3 s]
/proc/loadavg: 2.39 2.39 1.56 3/455 426550
/proc/meminfo: memFree=1725740/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=391.14 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4793 0 0 0 39111 3 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 391.14 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+462.3 s]
/proc/loadavg: 2.18 2.33 1.60 3/455 426559
/proc/meminfo: memFree=1725708/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=449.63 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4798 0 0 0 44960 3 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 449.63 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+522.3 s]
/proc/loadavg: 2.13 2.29 1.63 3/456 426572
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25248 CPUtime=508.1 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4809 0 0 0 50807 3 0 0 20 0 1 0 233596554 51781632 6312 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6312 1533 2 0 5051 0
Current children cumulated CPU time: 508.1 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25248 KiB

[startup+582.3 s]
/proc/loadavg: 2.10 2.25 1.66 3/456 426581
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25500 CPUtime=566.58 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4818 0 0 0 56655 3 0 0 20 0 1 0 233596554 51781632 6375 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6375 1533 2 0 5051 0
Current children cumulated CPU time: 566.58 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25500 KiB

[startup+642.3 s]
/proc/loadavg: 2.04 2.20 1.69 3/456 426590
/proc/meminfo: memFree=1725676/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25500 CPUtime=625.06 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4819 0 0 0 62503 3 0 0 20 0 1 0 233596554 51781632 6375 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6375 1533 2 0 5051 0
Current children cumulated CPU time: 625.06 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25500 KiB

[startup+702.3 s]
/proc/loadavg: 2.01 2.16 1.71 3/454 426600
/proc/meminfo: memFree=1725692/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50568 memory=25500 CPUtime=683.54 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4828 0 0 0 68351 3 0 0 20 0 1 0 233596554 51781632 6375 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12642 6375 1533 2 0 5051 0
Current children cumulated CPU time: 683.54 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 25500 KiB

[startup+762.3 s]
/proc/loadavg: 2.13 2.16 1.74 3/454 426609
/proc/meminfo: memFree=1725692/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50824 memory=25584 CPUtime=742.01 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4933 0 0 0 74198 3 0 0 20 0 1 0 233596554 52043776 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12706 6396 1533 2 0 5115 0
Current children cumulated CPU time: 742.01 s
Current children cumulated vsize: 50824 KiB
Current children cumulated memory: 25584 KiB

[startup+822.3 s]
/proc/loadavg: 2.74 2.33 1.83 3/455 426620
/proc/meminfo: memFree=1725408/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50824 memory=25584 CPUtime=800.5 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4939 0 0 0 80047 3 0 0 20 0 1 0 233596554 52043776 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12706 6396 1533 2 0 5115 0
Current children cumulated CPU time: 800.5 s
Current children cumulated vsize: 50824 KiB
Current children cumulated memory: 25584 KiB

[startup+882.3 s]
/proc/loadavg: 2.90 2.45 1.90 3/454 426630
/proc/meminfo: memFree=1725408/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50824 memory=25584 CPUtime=858.98 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4949 0 0 0 85895 3 0 0 20 0 1 0 233596554 52043776 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12706 6396 1533 2 0 5115 0
Current children cumulated CPU time: 858.98 s
Current children cumulated vsize: 50824 KiB
Current children cumulated memory: 25584 KiB

[startup+942.3 s]
/proc/loadavg: 2.61 2.47 1.95 3/454 426639
/proc/meminfo: memFree=1725628/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50824 memory=25584 CPUtime=917.46 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4955 0 0 0 91743 3 0 0 20 0 1 0 233596554 52043776 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12706 6396 1533 2 0 5115 0
Current children cumulated CPU time: 917.46 s
Current children cumulated vsize: 50824 KiB
Current children cumulated memory: 25584 KiB

[startup+1002.3 s]
/proc/loadavg: 2.32 2.41 1.97 3/454 426651
/proc/meminfo: memFree=1725628/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50824 memory=25584 CPUtime=975.96 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4961 0 0 0 97592 4 0 0 20 0 1 0 233596554 52043776 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12706 6396 1533 2 0 5115 0
Current children cumulated CPU time: 975.96 s
Current children cumulated vsize: 50824 KiB
Current children cumulated memory: 25584 KiB

[startup+1062.3 s]
/proc/loadavg: 2.22 2.37 1.98 3/454 426660
/proc/meminfo: memFree=1726100/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50956 memory=25584 CPUtime=1034.44 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4968 0 0 0 103440 4 0 0 20 0 1 0 233596554 52178944 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12739 6396 1533 2 0 5148 0
Current children cumulated CPU time: 1034.44 s
Current children cumulated vsize: 50956 KiB
Current children cumulated memory: 25584 KiB

[startup+1122.3 s]
/proc/loadavg: 2.16 2.31 1.99 3/453 426671
/proc/meminfo: memFree=1726100/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50956 memory=25584 CPUtime=1092.93 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4975 0 0 0 109289 4 0 0 20 0 1 0 233596554 52178944 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12739 6396 1533 2 0 5148 0
Current children cumulated CPU time: 1092.93 s
Current children cumulated vsize: 50956 KiB
Current children cumulated memory: 25584 KiB

[startup+1182.3 s]
/proc/loadavg: 2.06 2.25 2.00 3/453 426681
/proc/meminfo: memFree=1725816/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50956 memory=25584 CPUtime=1151.41 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4986 0 0 0 115137 4 0 0 20 0 1 0 233596554 52178944 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12739 6396 1533 2 0 5148 0
Current children cumulated CPU time: 1151.41 s
Current children cumulated vsize: 50956 KiB
Current children cumulated memory: 25584 KiB

[startup+1242.3 s]
/proc/loadavg: 1.86 2.17 1.99 2/445 426692
/proc/meminfo: memFree=1735660/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=50956 memory=25584 CPUtime=1209.9 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 4987 0 0 0 120986 4 0 0 20 0 1 0 233596554 52178944 6396 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 12739 6396 1533 2 0 5148 0
Current children cumulated CPU time: 1209.9 s
Current children cumulated vsize: 50956 KiB
Current children cumulated memory: 25584 KiB

[startup+1302.3 s]
/proc/loadavg: 1.31 1.96 1.92 2/445 426712
/proc/meminfo: memFree=1732496/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=54240 memory=29124 CPUtime=1268.42 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 5958 0 0 0 126837 5 0 0 20 0 1 0 233596554 55541760 7281 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13560 7281 1533 2 0 5969 0
Current children cumulated CPU time: 1268.42 s
Current children cumulated vsize: 54240 KiB
Current children cumulated memory: 29124 KiB

[startup+1362.3 s]
/proc/loadavg: 1.11 1.78 1.86 2/445 426721
/proc/meminfo: memFree=1732520/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=54240 memory=29124 CPUtime=1326.92 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 5958 0 0 0 132687 5 0 0 20 0 1 0 233596554 55541760 7281 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13560 7281 1533 2 0 5969 0
Current children cumulated CPU time: 1326.92 s
Current children cumulated vsize: 54240 KiB
Current children cumulated memory: 29124 KiB

[startup+1422.3 s]
/proc/loadavg: 1.04 1.64 1.81 2/446 426733
/proc/meminfo: memFree=1732520/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=54240 memory=29124 CPUtime=1385.4 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 5960 0 0 0 138535 5 0 0 20 0 1 0 233596554 55541760 7281 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13560 7281 1533 2 0 5969 0
Current children cumulated CPU time: 1385.4 s
Current children cumulated vsize: 54240 KiB
Current children cumulated memory: 29124 KiB

[startup+1482.3 s]
/proc/loadavg: 1.01 1.52 1.75 2/446 426743
/proc/meminfo: memFree=1731544/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=54180 memory=29152 CPUtime=1443.89 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 6519 0 0 0 144384 5 0 0 20 0 1 0 233596554 55480320 7288 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13545 7288 1533 2 0 5954 0
Current children cumulated CPU time: 1443.89 s
Current children cumulated vsize: 54180 KiB
Current children cumulated memory: 29152 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.42 1.70 2/446 426752
/proc/meminfo: memFree=1731008/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=54692 memory=29724 CPUtime=1502.39 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 7311 0 0 0 150233 6 0 0 20 0 1 0 233596554 56004608 7431 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13673 7431 1533 2 0 6082 0
Current children cumulated CPU time: 1502.39 s
Current children cumulated vsize: 54692 KiB
Current children cumulated memory: 29724 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.34 1.66 2/446 426762
/proc/meminfo: memFree=1731008/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=55204 memory=30284 CPUtime=1560.89 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 7835 0 0 0 156083 6 0 0 20 0 1 0 233596554 56528896 7571 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13801 7571 1533 2 0 6210 0
Current children cumulated CPU time: 1560.89 s
Current children cumulated vsize: 55204 KiB
Current children cumulated memory: 30284 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.28 1.61 2/446 426771
/proc/meminfo: memFree=1731008/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=55716 memory=30552 CPUtime=1619.38 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 8148 0 0 0 161932 6 0 0 20 0 1 0 233596554 57053184 7638 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13929 7638 1533 2 0 6338 0
Current children cumulated CPU time: 1619.38 s
Current children cumulated vsize: 55716 KiB
Current children cumulated memory: 30552 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.22 1.57 3/446 426789
/proc/meminfo: memFree=1667280/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=55460 memory=30604 CPUtime=1677.85 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 8171 0 0 0 167779 6 0 0 20 0 1 0 233596554 56791040 7651 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13865 7651 1533 2 0 6274 0
Current children cumulated CPU time: 1677.85 s
Current children cumulated vsize: 55460 KiB
Current children cumulated memory: 30604 KiB

[startup+1782.3 s]
/proc/loadavg: 1.03 1.19 1.54 2/446 426801
/proc/meminfo: memFree=1730164/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=55716 memory=30604 CPUtime=1736.33 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 8235 0 0 0 173627 6 0 0 20 0 1 0 233596554 57053184 7651 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13929 7651 1533 2 0 6338 0
Current children cumulated CPU time: 1736.33 s
Current children cumulated vsize: 55716 KiB
Current children cumulated memory: 30604 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.02 1.18 1.53 2/446 426802
/proc/meminfo: memFree=1730164/3717660 swapFree=8388604/8388604
[pid=426477] ppid=426476 vsize=55716 memory=30604 CPUtime=1753.59 cores=3
/proc/426477/stat : 426477 (pigeonPurSampli) R 426476 426477 426470 0 -1 4194304 8235 0 0 0 175353 6 0 0 20 0 1 0 233596554 57053184 7651 18446744073709551615 94175022804992 94175022809104 140720943719088 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94175024909568 94175024910340 94175034130432 140720943727118 140720943727234 140720943727234 140720943730657 0
/proc/426477/statm: 13929 7651 1533 2 0 6338 0
Current children cumulated CPU time: 1753.59 s
Current children cumulated vsize: 55716 KiB
Current children cumulated memory: 30604 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, -64, -65, 67, -69, -70, 72, 73, 74, -75, 76] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, -64, 65, -67, -69, 70, -72, 73, 74, -75, 76] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, -64, 65, 67, -69, -70, 72, 73, 74, 75, -76, -77] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, 64, -65, -67, -69, -70, 72, 73] -> ph3-2_4 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, 64, -65, 67, -69, 70, 72, 73] -> ph3-2_4 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, 64, 65, -67, -69, 70, 72, 73, 74, 75, -76, -77] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, -63, 64, 65, 67, -69, 70, -72, 73, 74, 75, 76, -77] -> ph3-2_3 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, 63, -64, -65, -67, -69, 70, -72, 73, 74, 75, -76] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -15, -16, -17, -18, -19, -20, -21, 22, -23, -24, -25, 26, -27, -28, -29, -30, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -43, -44, 45, -46, -47, -48, -49, 50, -51, -52, -53, -54, 55, -56, -57, -58, -59, -60, -62, 63, -64, -65, 67, 69, -70, -72, 73, 74, 75, -76] -> ph3-2_2 


Detected pigeons:

 ph3-2_1 = [[-228, -1620], [499, -1883], [1973, -1344]]

 ph3-2_2 = [[1973, -1344], [2273, -1781], [-2450, -1708]]

 ph3-2_3 = [[2273, -1781], [2387, -1471], [-2450, -1708]]

 ph3-2_4 = [[-496, 1097], [2273, -1781], [-2450, -1708]]

[startup+1800.07 s]
# the end of solver process 426477 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1753.58 s, system=0.072579 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1753.65
CPU user time (s): 1753.58
CPU system time (s): 0.072579
CPU usage (%): 97.4212
Max. virtual memory (cumulated for all children) (KiB): 56484
Max. memory (cumulated for all children) (KiB): 31236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.58
system time used= 0.072579
maximum resident set size= 31236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8237
page faults= 0
swaps= 0
block input operations= 1848
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 36243


# summary of solver processes directly reported to runsolver:
#   pid: 426477
#   total CPU time (s): 1753.65
#   total CPU user time (s): 1753.58
#   total CPU system time (s): 0.072579

??? end of timestamper thread
runsolver used 16.1313 second user time and 21.7262 second system time

The end
