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

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

running on 1 cores: 3

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


[startup+0.10594 s]*
/proc/loadavg: 0.00 0.02 0.04 9/458 343968
/proc/meminfo: memFree=1712560/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=41260 memory=13468 CPUtime=0.08 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 2268 0 0 0 7 1 0 0 20 0 1 0 182070684 42250240 3367 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10315 3367 1482 2 0 2724 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41260 KiB
Current children cumulated memory: 13468 KiB

[startup+0.227939 s]*
/proc/loadavg: 0.00 0.02 0.04 8/458 343968
/proc/meminfo: memFree=1688620/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=0.19 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3066 0 0 0 18 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+0.334941 s]*
/proc/loadavg: 0.00 0.02 0.04 8/458 343968
/proc/meminfo: memFree=1677916/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=0.27 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3066 0 0 0 26 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+0.707947 s]
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1664428/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=0.57 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3067 0 0 0 56 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+1.50696 s]
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1648216/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=1.33 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3068 0 0 0 132 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+3.13195 s]
/proc/loadavg: 0.32 0.08 0.06 8/458 343968
/proc/meminfo: memFree=1647460/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=2.9 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3068 0 0 0 289 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+6.30296 s]
/proc/loadavg: 0.32 0.08 0.06 8/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=5.97 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3068 0 0 0 596 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+12.7009 s]
/proc/loadavg: 0.62 0.15 0.09 8/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=12.16 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3068 0 0 0 1215 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+25.503 s]
/proc/loadavg: 1.37 0.34 0.15 8/458 343968
/proc/meminfo: memFree=1647444/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=24.54 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 2453 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+51.126 s]
/proc/loadavg: 2.27 0.63 0.25 7/458 343976
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=49.28 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 4927 1 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 49.28 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+102.301 s]
/proc/loadavg: 2.76 1.03 0.41 7/448 343981
/proc/meminfo: memFree=1663356/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=98.88 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 9886 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 98.88 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+162.301 s]
/proc/loadavg: 2.91 1.39 0.57 6/448 343990
/proc/meminfo: memFree=1663464/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=157.05 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 15703 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 157.05 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+222.301 s]
/proc/loadavg: 2.97 1.69 0.73 6/447 343999
/proc/meminfo: memFree=1663380/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=215.23 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 21521 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 215.23 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+282.301 s]
/proc/loadavg: 3.06 1.94 0.88 6/447 344009
/proc/meminfo: memFree=1663432/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=273.42 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 27340 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 273.42 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+342.301 s]
/proc/loadavg: 3.12 2.17 1.03 6/448 344020
/proc/meminfo: memFree=1662924/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=331.6 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 33158 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 331.6 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+402.301 s]
/proc/loadavg: 3.10 2.34 1.16 7/448 344030
/proc/meminfo: memFree=1662896/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=389.78 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 38976 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 389.78 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+462.301 s]
/proc/loadavg: 3.04 2.46 1.28 7/448 344040
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=447.95 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 44793 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 447.95 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+522.301 s]
/proc/loadavg: 3.01 2.56 1.39 7/448 344049
/proc/meminfo: memFree=1662528/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=43904 memory=16636 CPUtime=506.11 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3069 0 0 0 50609 2 0 0 20 0 1 0 182070684 44957696 4159 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 10976 4159 1482 2 0 3385 0
Current children cumulated CPU time: 506.11 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 16636 KiB

[startup+582.301 s]
/proc/loadavg: 3.00 2.64 1.49 7/448 344058
/proc/meminfo: memFree=1661236/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=44928 memory=18076 CPUtime=564.24 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 3502 0 0 0 56422 2 0 0 20 0 1 0 182070684 46006272 4519 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 11232 4519 1482 2 0 3641 0
Current children cumulated CPU time: 564.24 s
Current children cumulated vsize: 44928 KiB
Current children cumulated memory: 18076 KiB

[startup+642.301 s]
/proc/loadavg: 3.00 2.71 1.59 6/446 344067
/proc/meminfo: memFree=1658104/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=48432 memory=21588 CPUtime=622.36 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 4738 0 0 0 62233 3 0 0 20 0 1 0 182070684 49594368 5397 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 12108 5397 1482 2 0 4517 0
Current children cumulated CPU time: 622.36 s
Current children cumulated vsize: 48432 KiB
Current children cumulated memory: 21588 KiB

[startup+702.301 s]
/proc/loadavg: 3.00 2.77 1.68 6/447 344078
/proc/meminfo: memFree=1656504/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=49784 memory=22960 CPUtime=680.47 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 5185 0 0 0 68044 3 0 0 20 0 1 0 182070684 50978816 5740 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 12446 5740 1482 2 0 4855 0
Current children cumulated CPU time: 680.47 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 22960 KiB

[startup+762.301 s]
/proc/loadavg: 3.00 2.81 1.76 6/447 344088
/proc/meminfo: memFree=1653732/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=52244 memory=25188 CPUtime=738.58 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6058 0 0 0 73855 3 0 0 20 0 1 0 182070684 53497856 6297 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13061 6297 1482 2 0 5470 0
Current children cumulated CPU time: 738.58 s
Current children cumulated vsize: 52244 KiB
Current children cumulated memory: 25188 KiB

[startup+822.301 s]
/proc/loadavg: 3.11 2.88 1.85 6/447 344097
/proc/meminfo: memFree=1653952/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=52244 memory=25188 CPUtime=796.69 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6058 0 0 0 79665 4 0 0 20 0 1 0 182070684 53497856 6297 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13061 6297 1482 2 0 5470 0
Current children cumulated CPU time: 796.69 s
Current children cumulated vsize: 52244 KiB
Current children cumulated memory: 25188 KiB

[startup+882.301 s]
/proc/loadavg: 3.04 2.90 1.93 6/447 344107
/proc/meminfo: memFree=1650440/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=52244 memory=25452 CPUtime=854.77 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6064 0 0 0 85473 4 0 0 20 0 1 0 182070684 53497856 6363 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13061 6363 1482 2 0 5470 0
Current children cumulated CPU time: 854.77 s
Current children cumulated vsize: 52244 KiB
Current children cumulated memory: 25452 KiB

[startup+942.301 s]
/proc/loadavg: 3.10 2.95 2.01 6/447 344117
/proc/meminfo: memFree=1649400/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=53556 memory=26692 CPUtime=912.88 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6460 0 0 0 91284 4 0 0 20 0 1 0 182070684 54841344 6673 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13389 6673 1482 2 0 5798 0
Current children cumulated CPU time: 912.88 s
Current children cumulated vsize: 53556 KiB
Current children cumulated memory: 26692 KiB

[startup+1002.3 s]
/proc/loadavg: 3.03 2.96 2.07 7/447 344126
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=53556 memory=26692 CPUtime=970.97 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6461 0 0 0 97093 4 0 0 20 0 1 0 182070684 54841344 6673 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13389 6673 1482 2 0 5798 0
Current children cumulated CPU time: 970.97 s
Current children cumulated vsize: 53556 KiB
Current children cumulated memory: 26692 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 2.97 2.13 6/445 344136
/proc/meminfo: memFree=1649368/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=53556 memory=26692 CPUtime=1029.09 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6461 0 0 0 102904 5 0 0 20 0 1 0 182070684 54841344 6673 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13389 6673 1482 2 0 5798 0
Current children cumulated CPU time: 1029.09 s
Current children cumulated vsize: 53556 KiB
Current children cumulated memory: 26692 KiB

[startup+1122.3 s]
/proc/loadavg: 3.00 2.98 2.19 7/446 344146
/proc/meminfo: memFree=1649588/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=53556 memory=26692 CPUtime=1087.2 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6461 0 0 0 108715 5 0 0 20 0 1 0 182070684 54841344 6673 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13389 6673 1482 2 0 5798 0
Current children cumulated CPU time: 1087.2 s
Current children cumulated vsize: 53556 KiB
Current children cumulated memory: 26692 KiB

[startup+1182.3 s]
/proc/loadavg: 3.00 2.99 2.25 6/446 344155
/proc/meminfo: memFree=1649336/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=53556 memory=26692 CPUtime=1145.31 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6461 0 0 0 114526 5 0 0 20 0 1 0 182070684 54841344 6673 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13389 6673 1482 2 0 5798 0
Current children cumulated CPU time: 1145.31 s
Current children cumulated vsize: 53556 KiB
Current children cumulated memory: 26692 KiB

[startup+1242.3 s]
/proc/loadavg: 3.00 2.99 2.30 6/447 344165
/proc/meminfo: memFree=1648296/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=54580 memory=27732 CPUtime=1203.43 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6870 0 0 0 120338 5 0 0 20 0 1 0 182070684 55889920 6933 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13645 6933 1482 2 0 6054 0
Current children cumulated CPU time: 1203.43 s
Current children cumulated vsize: 54580 KiB
Current children cumulated memory: 27732 KiB

[startup+1302.3 s]
/proc/loadavg: 3.05 3.01 2.35 7/447 344175
/proc/meminfo: memFree=1648044/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=54580 memory=27732 CPUtime=1261.55 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 6871 0 0 0 126150 5 0 0 20 0 1 0 182070684 55889920 6933 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 13645 6933 1482 2 0 6054 0
Current children cumulated CPU time: 1261.55 s
Current children cumulated vsize: 54580 KiB
Current children cumulated memory: 27732 KiB

[startup+1362.3 s]
/proc/loadavg: 3.05 3.02 2.40 6/447 344185
/proc/meminfo: memFree=1646248/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1319.66 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7737 0 0 0 131961 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1319.66 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1422.3 s]
/proc/loadavg: 3.06 3.03 2.44 6/447 344195
/proc/meminfo: memFree=1646028/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1377.76 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7738 0 0 0 137771 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1377.76 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.48 6/447 344205
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1435.87 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7738 0 0 0 143582 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1435.87 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1542.3 s]
/proc/loadavg: 3.02 3.03 2.52 6/447 344215
/proc/meminfo: memFree=1645996/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1493.98 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 149393 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1493.98 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.02 2.55 6/447 344225
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1552.09 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 155204 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1552.09 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1662.3 s]
/proc/loadavg: 3.07 3.03 2.59 6/447 344235
/proc/meminfo: memFree=1645964/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1610.2 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 161015 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1610.2 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1722.3 s]
/proc/loadavg: 3.02 3.02 2.62 7/447 344244
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1668.31 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 166826 5 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1668.31 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

[startup+1782.3 s]
/proc/loadavg: 3.08 3.03 2.65 6/447 344258
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1726.43 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 172637 6 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1726.43 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.05 3.03 2.66 8/447 344267
/proc/meminfo: memFree=1645680/3726824 swapFree=8388604/8388604
[pid=343967] ppid=343966 vsize=57004 memory=30156 CPUtime=1743.59 cores=3
/proc/343967/stat : 343967 (pigeonPur.py) R 343966 343967 343947 0 -1 4194304 7739 0 0 0 174353 6 0 0 20 0 1 0 182070684 58372096 7539 18446744073709551615 94486231683072 94486231687184 140730416657040 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94486233787648 94486233788420 94486244765696 140730416661024 140730416661130 140730416661130 140730416664553 0
/proc/343967/statm: 14251 7539 1482 2 0 6660 0
Current children cumulated CPU time: 1743.59 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 30156 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []

[-1, -2, -3] -> []

[-1, -2, -3, -4] -> []

[-1, -2, -3, -4, -5] -> []

[-1, -2, -3, -4, -5, -6] -> []

[-1, -2, -3, -4, -5, -6, -7] -> []

[-1, -2, -3, -4, -5, -6, -7, -8] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -11] -> []


Detected pigeons:

[startup+1800.13 s]
# the end of solver process 343967 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1743.61 s, system=0.064311 s

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

Child status: 1
Real time (s): 1800.13
CPU time (s): 1743.68
CPU user time (s): 1743.61
CPU system time (s): 0.064311
CPU usage (%): 96.8638
Max. virtual memory (cumulated for all children) (KiB): 57004
Max. memory (cumulated for all children) (KiB): 30156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.61
system time used= 0.064311
maximum resident set size= 30156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7741
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= 15
involuntary context switches= 43183


# summary of solver processes directly reported to runsolver:
#   pid: 343967
#   total CPU time (s): 1743.68
#   total CPU user time (s): 1743.61
#   total CPU system time (s): 0.064311

??? end of timestamper thread
runsolver used 16.5449 second user time and 24.1532 second system time

The end
