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

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

running on 1 cores: 2

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=339850, runsolver pid=339845
Current StackSize limit: 8192 KiB


[startup+0.106815 s]*
/proc/loadavg: 0.00 0.00 0.03 9/472 339856
/proc/meminfo: memFree=1735796/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=42812 memory=14584 CPUtime=0.07 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 2550 0 0 0 6 1 0 0 20 0 1 0 182316670 43839488 3646 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 10703 3646 1476 2 0 3112 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42812 KiB
Current children cumulated memory: 14584 KiB

[startup+0.23578 s]*
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1710092/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=48700 memory=21632 CPUtime=0.18 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 4266 0 0 0 16 2 0 0 20 0 1 0 182316670 49868800 5408 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 12175 5408 1492 2 0 4584 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48700 KiB
Current children cumulated memory: 21632 KiB

[startup+0.335778 s]*
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1697744/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=51500 memory=24652 CPUtime=0.26 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 5030 0 0 0 24 2 0 0 20 0 1 0 182316670 52736000 6163 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 12875 6163 1492 2 0 5284 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 51500 KiB
Current children cumulated memory: 24652 KiB

[startup+0.700778 s]
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1684640/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=0.54 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7466 0 0 0 52 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+1.50078 s]
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1674056/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=1.31 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7466 0 0 0 129 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+3.13178 s]
/proc/loadavg: 0.32 0.07 0.05 6/472 339856
/proc/meminfo: memFree=1673552/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=2.89 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7466 0 0 0 287 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+6.30079 s]
/proc/loadavg: 0.32 0.07 0.05 8/472 339856
/proc/meminfo: memFree=1673424/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=5.96 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7466 0 0 0 594 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+12.7008 s]
/proc/loadavg: 0.62 0.13 0.07 7/472 339856
/proc/meminfo: memFree=1673172/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=12.17 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7466 0 0 0 1215 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+25.5008 s]
/proc/loadavg: 1.37 0.32 0.13 6/472 339856
/proc/meminfo: memFree=1673140/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=24.54 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7468 0 0 0 2452 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+51.1398 s]
/proc/loadavg: 2.27 0.62 0.24 5/464 339866
/proc/meminfo: memFree=1687020/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=49.3 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7468 0 0 0 4928 2 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 49.3 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+102.301 s]
/proc/loadavg: 2.68 0.99 0.39 6/464 339875
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=98.99 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 9896 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 98.99 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+162.301 s]
/proc/loadavg: 2.89 1.35 0.55 5/464 339886
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=157.25 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 15722 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 157.25 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+222.301 s]
/proc/loadavg: 2.96 1.66 0.71 6/464 339896
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=215.5 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 21547 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 215.5 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+282.301 s]
/proc/loadavg: 3.10 1.95 0.87 5/465 339907
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=273.76 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 27373 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 273.76 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+342.301 s]
/proc/loadavg: 3.04 2.14 1.01 6/464 339916
/proc/meminfo: memFree=1686484/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=332.02 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 33199 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 332.02 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+402.301 s]
/proc/loadavg: 3.01 2.30 1.13 5/464 339926
/proc/meminfo: memFree=1686480/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=390.29 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 39026 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 390.29 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.43 1.25 6/463 339935
/proc/meminfo: memFree=1686512/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32464 CPUtime=448.56 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7469 0 0 0 44853 3 0 0 20 0 1 0 182316670 60755968 8116 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8116 1492 2 0 7242 0
Current children cumulated CPU time: 448.56 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32464 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.54 1.37 5/463 339946
/proc/meminfo: memFree=1683536/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=506.8 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7473 0 0 0 50677 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 506.8 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+582.301 s]
/proc/loadavg: 3.00 2.62 1.47 7/462 339956
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=565.06 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 56503 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 565.06 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+642.301 s]
/proc/loadavg: 3.00 2.69 1.57 5/462 339965
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=623.32 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 62329 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 623.32 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+702.301 s]
/proc/loadavg: 3.06 2.77 1.67 6/463 339975
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=681.58 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 68155 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 681.58 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+762.301 s]
/proc/loadavg: 4.15 3.09 1.84 5/463 339985
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=739.86 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 73983 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 739.86 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+822.301 s]
/proc/loadavg: 5.69 3.71 2.14 6/462 339995
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=798.14 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 79811 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 798.14 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+882.301 s]
/proc/loadavg: 5.71 4.10 2.37 5/463 340006
/proc/meminfo: memFree=1683060/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=856.4 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 85637 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 856.4 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+942.301 s]
/proc/loadavg: 4.52 4.06 2.47 6/464 340035
/proc/meminfo: memFree=1683424/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=914.61 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 91458 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 914.61 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1002.3 s]
/proc/loadavg: 3.56 3.86 2.51 5/463 340045
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=972.86 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 97283 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 972.86 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1062.3 s]
/proc/loadavg: 3.27 3.73 2.55 6/463 340054
/proc/meminfo: memFree=1683336/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1031.11 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 103108 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1031.11 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1122.3 s]
/proc/loadavg: 3.10 3.60 2.58 5/464 340064
/proc/meminfo: memFree=1683252/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1089.36 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 108933 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1089.36 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1182.3 s]
/proc/loadavg: 3.03 3.48 2.61 6/463 340074
/proc/meminfo: memFree=1683192/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1147.62 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 114759 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1147.62 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1242.3 s]
/proc/loadavg: 3.01 3.39 2.64 5/462 340084
/proc/meminfo: memFree=1683080/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1205.87 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 120584 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1205.87 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.32 2.66 5/462 340093
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1264.14 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 126411 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1264.14 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1362.3 s]
/proc/loadavg: 3.13 3.29 2.70 5/462 340103
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1322.4 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 132237 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1322.4 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1422.3 s]
/proc/loadavg: 3.16 3.27 2.73 6/461 340112
/proc/meminfo: memFree=1683044/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1380.66 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 138063 3 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1380.66 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1482.3 s]
/proc/loadavg: 3.11 3.23 2.75 5/461 340122
/proc/meminfo: memFree=1683016/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1438.94 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 143890 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1438.94 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.19 2.77 6/461 340131
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1497.19 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 149715 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1497.19 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.15 2.79 5/461 340142
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1555.46 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 155542 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1555.46 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1662.3 s]
/proc/loadavg: 3.00 3.12 2.81 6/461 340151
/proc/meminfo: memFree=1683512/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1613.73 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 161369 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1613.73 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1722.3 s]
/proc/loadavg: 3.00 3.10 2.82 5/461 340160
/proc/meminfo: memFree=1683036/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1672.01 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 167197 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1672.01 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

[startup+1782.3 s]
/proc/loadavg: 3.12 3.12 2.85 6/461 340173
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1730.27 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 173023 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1730.27 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.08 3.11 2.85 5/461 340174
/proc/meminfo: memFree=1683340/3717660 swapFree=8388604/8388604
[pid=339850] ppid=339845 vsize=59332 memory=32496 CPUtime=1747.48 cores=2
/proc/339850/stat : 339850 (pigeonPur.py) R 339845 339850 339829 0 -1 4194304 7476 0 0 0 174744 4 0 0 20 0 1 0 182316670 60755968 8124 18446744073709551615 94627997327360 94627997331472 140721211450560 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94627999431936 94627999432708 94627999879168 140721211458082 140721211458186 140721211458186 140721211461609 0
/proc/339850/statm: 14833 8124 1492 2 0 7242 0
Current children cumulated CPU time: 1747.48 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 32496 KiB

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

Detected pigeons:

[startup+1800.15 s]
# the end of solver process 339850 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1747.54 s, system=0.048324 s

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

Child status: 1
Real time (s): 1800.15
CPU time (s): 1747.58
CPU user time (s): 1747.54
CPU system time (s): 0.048324
CPU usage (%): 97.0798
Max. virtual memory (cumulated for all children) (KiB): 59332
Max. memory (cumulated for all children) (KiB): 32496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.54
system time used= 0.048324
maximum resident set size= 32496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7480
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= 40
involuntary context switches= 26590


# summary of solver processes directly reported to runsolver:
#   pid: 339850
#   total CPU time (s): 1747.58
#   total CPU user time (s): 1747.54
#   total CPU system time (s): 0.048324

??? end of timestamper thread
runsolver used 17.214 second user time and 23.926 second system time

The end
