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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/fgpa_routing/alu2_gr_rcs_w7.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.108478 s]*
/proc/loadavg: 0.00 0.02 0.04 8/458 343968
/proc/meminfo: memFree=1714324/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=44348 memory=16924 CPUtime=0.07 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 2982 0 0 0 7 0 0 0 20 0 1 0 182070682 45412352 4164 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 11151 4231 1530 2 0 3560 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44348 KiB
Current children cumulated memory: 16924 KiB

[startup+0.226482 s]*
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1690384/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=50236 memory=23036 CPUtime=0.18 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 4581 0 0 0 17 1 0 0 20 0 1 0 182070682 51441664 5759 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 12559 5759 1530 2 0 4968 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50236 KiB
Current children cumulated memory: 23036 KiB

[startup+0.334476 s]*
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1678420/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=55100 memory=27864 CPUtime=0.27 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 5813 0 0 0 26 1 0 0 20 0 1 0 182070682 56422400 6966 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 13775 6966 1530 2 0 6184 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 55100 KiB
Current children cumulated memory: 27864 KiB

[startup+0.700476 s]
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1664428/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=65856 memory=39224 CPUtime=0.56 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 8993 0 0 0 53 3 0 0 20 0 1 0 182070682 67436544 9806 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 16464 9806 1530 2 0 8873 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 39224 KiB

[startup+1.50148 s]
/proc/loadavg: 0.00 0.02 0.04 8/458 343968
/proc/meminfo: memFree=1648720/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=1.33 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11787 0 0 0 129 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+3.13348 s]
/proc/loadavg: 0.32 0.08 0.06 8/458 343968
/proc/meminfo: memFree=1647460/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=2.88 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11787 0 0 0 284 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+6.30948 s]
/proc/loadavg: 0.32 0.08 0.06 7/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=5.96 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11790 0 0 0 592 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+12.7005 s]
/proc/loadavg: 0.62 0.15 0.09 7/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=12.15 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11790 0 0 0 1211 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+25.5015 s]
/proc/loadavg: 1.37 0.34 0.15 8/458 343968
/proc/meminfo: memFree=1647444/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=24.52 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11790 0 0 0 2448 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 24.52 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+51.1345 s]
/proc/loadavg: 2.27 0.63 0.25 7/458 343976
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=49.31 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 4927 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 49.31 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+102.3 s]
/proc/loadavg: 2.76 1.03 0.41 5/448 343981
/proc/meminfo: memFree=1663356/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=98.94 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 9890 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 98.94 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+162.3 s]
/proc/loadavg: 2.91 1.39 0.57 5/448 343990
/proc/meminfo: memFree=1663464/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=157.17 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 15713 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 157.17 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+222.3 s]
/proc/loadavg: 2.97 1.69 0.73 5/447 343999
/proc/meminfo: memFree=1663380/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=215.39 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 21535 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 215.39 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+282.3 s]
/proc/loadavg: 3.06 1.94 0.88 5/447 344009
/proc/meminfo: memFree=1663432/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=273.61 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 27357 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 273.61 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+342.3 s]
/proc/loadavg: 3.12 2.17 1.03 5/448 344020
/proc/meminfo: memFree=1662924/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=331.83 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 33179 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 331.83 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+402.3 s]
/proc/loadavg: 3.10 2.34 1.16 5/448 344030
/proc/meminfo: memFree=1662896/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=390.04 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 39000 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 390.04 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+462.3 s]
/proc/loadavg: 3.04 2.46 1.28 5/448 344040
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=448.24 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11791 0 0 0 44820 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 448.24 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+522.3 s]
/proc/loadavg: 3.01 2.56 1.39 5/448 344049
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=506.44 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11792 0 0 0 50640 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 506.44 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+582.3 s]
/proc/loadavg: 3.00 2.64 1.49 5/448 344058
/proc/meminfo: memFree=1661236/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=564.61 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11792 0 0 0 56457 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 564.61 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+642.3 s]
/proc/loadavg: 3.00 2.71 1.59 5/446 344067
/proc/meminfo: memFree=1658104/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=622.75 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11793 0 0 0 62271 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 622.75 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+702.3 s]
/proc/loadavg: 3.00 2.77 1.68 5/447 344078
/proc/meminfo: memFree=1656504/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=680.88 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11793 0 0 0 68084 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 680.88 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+762.3 s]
/proc/loadavg: 3.00 2.81 1.76 5/447 344088
/proc/meminfo: memFree=1653732/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=739.01 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11793 0 0 0 73897 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 739.01 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+822.3 s]
/proc/loadavg: 3.11 2.88 1.85 5/447 344097
/proc/meminfo: memFree=1653952/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=47752 CPUtime=797.14 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11793 0 0 0 79710 4 0 0 20 0 1 0 182070682 76435456 11938 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 11938 1530 2 0 11070 0
Current children cumulated CPU time: 797.14 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 47752 KiB

[startup+882.3 s]
/proc/loadavg: 3.04 2.90 1.93 5/447 344107
/proc/meminfo: memFree=1650440/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=855.29 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 85525 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 855.29 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+942.3 s]
/proc/loadavg: 3.10 2.95 2.01 5/447 344117
/proc/meminfo: memFree=1649400/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=913.41 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 91337 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 913.41 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1002.3 s]
/proc/loadavg: 3.03 2.96 2.07 5/447 344126
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=971.53 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 97149 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 971.53 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 2.97 2.13 5/445 344136
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1029.65 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 102961 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1029.65 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1122.3 s]
/proc/loadavg: 3.00 2.98 2.19 5/446 344146
/proc/meminfo: memFree=1649588/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1087.78 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 108774 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1087.78 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 2.99 2.25 5/446 344155
/proc/meminfo: memFree=1649336/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1145.89 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 114585 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1145.89 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 2.99 2.30 5/447 344165
/proc/meminfo: memFree=1648296/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1204.03 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 120399 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1204.03 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1302.3 s]
/proc/loadavg: 3.05 3.01 2.35 5/447 344175
/proc/meminfo: memFree=1648044/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1262.16 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 126212 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1262.16 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1362.3 s]
/proc/loadavg: 3.05 3.02 2.40 5/447 344185
/proc/meminfo: memFree=1646248/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1320.29 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 132025 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1320.29 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1422.3 s]
/proc/loadavg: 3.06 3.03 2.44 5/447 344195
/proc/meminfo: memFree=1646028/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1378.41 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 137837 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1378.41 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.48 5/447 344205
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1436.53 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 143649 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1436.53 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1542.3 s]
/proc/loadavg: 3.02 3.03 2.52 5/447 344215
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1494.65 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 149461 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1494.65 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.02 2.55 5/447 344225
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1552.78 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 155274 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1552.78 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1662.3 s]
/proc/loadavg: 3.07 3.03 2.59 5/447 344235
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1610.9 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 161086 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1610.9 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1722.3 s]
/proc/loadavg: 3.02 3.02 2.62 5/447 344244
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1669.03 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 166899 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1669.03 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

[startup+1782.3 s]
/proc/loadavg: 3.08 3.03 2.65 5/447 344258
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1727.15 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 172711 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1727.15 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.05 3.03 2.66 5/447 344267
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=74644 memory=49236 CPUtime=1744.32 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 174428 4 0 0 20 0 1 0 182070682 76435456 12309 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 18661 12309 1530 2 0 11070 0
Current children cumulated CPU time: 1744.32 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 49236 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.17 s]
# the end of solver process 343963 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.4 s, system=0.054404 s

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

[startup+1800.14 s]
/proc/loadavg: 3.05 3.03 2.66 5/447 344267
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343963] ppid=343962 vsize=59284 memory=34156 CPUtime=1744.44 cores=2
/proc/343963/stat : 343963 (pigeonPur.py) R 343962 343963 343942 0 -1 4194304 11800 0 0 0 174439 5 0 0 20 0 1 0 182070682 60706816 8539 18446744073709551615 94409741352960 94409741357072 140723574785680 0 0 0 0 16781312 0 0 0 0 17 2 0 0 1 0 0 94409743457536 94409743458308 94409769336832 140723574792738 140723574792842 140723574792842 140723574796265 0
/proc/343963/statm: 14821 8539 1530 2 0 7230 0
Current children cumulated CPU time: 1744.44 s
Current children cumulated vsize: 59284 KiB
Current children cumulated memory: 34156 KiB

Child status: 1
Real time (s): 1800.17
CPU time (s): 1744.46
CPU user time (s): 1744.4
CPU system time (s): 0.054404
CPU usage (%): 96.9053
Max. virtual memory (cumulated for all children) (KiB): 74644
Max. memory (cumulated for all children) (KiB): 49236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.4
system time used= 0.054404
maximum resident set size= 49236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 27467


# summary of solver processes directly reported to runsolver:
#   pid: 343963
#   total CPU time (s): 1744.46
#   total CPU user time (s): 1744.4
#   total CPU system time (s): 0.054404

??? end of timestamper thread
runsolver used 16.3791 second user time and 24.526 second system time

The end
