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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/BF/bf0432-007.cnf 

running on 1 cores: 0

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


[startup+0.100494 s]*
/proc/loadavg: 0.00 0.31 0.99 4/440 419571
/proc/meminfo: memFree=1719904/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=0.1 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1580 0 0 0 10 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+0.238483 s]*
/proc/loadavg: 0.00 0.31 0.99 4/440 419571
/proc/meminfo: memFree=1719400/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=0.21 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1581 0 0 0 21 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+0.326481 s]*
/proc/loadavg: 0.00 0.31 0.99 3/440 419571
/proc/meminfo: memFree=1718644/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=0.27 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1581 0 0 0 27 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+0.700479 s]
/proc/loadavg: 0.00 0.31 0.99 4/440 419571
/proc/meminfo: memFree=1718140/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=0.58 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1604 0 0 0 58 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+1.50048 s]
/proc/loadavg: 0.24 0.35 1.01 4/440 419571
/proc/meminfo: memFree=1717888/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=1.36 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1618 0 0 0 136 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+3.13049 s]
/proc/loadavg: 0.24 0.35 1.01 4/440 419571
/proc/meminfo: memFree=1717380/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=2.94 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1624 0 0 0 294 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+6.30048 s]
/proc/loadavg: 0.38 0.38 1.01 4/440 419571
/proc/meminfo: memFree=1717316/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11088 CPUtime=6.04 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1626 0 0 0 604 0 0 0 20 0 1 0 226063146 39481344 2772 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2772 1531 2 0 2048 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11088 KiB

[startup+12.7005 s]
/proc/loadavg: 0.51 0.41 1.02 4/440 419571
/proc/meminfo: memFree=1717260/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=12.3 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1630 0 0 0 1230 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+25.5005 s]
/proc/loadavg: 0.74 0.46 1.03 4/440 419571
/proc/meminfo: memFree=1717008/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=24.79 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1639 0 0 0 2479 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+51.1225 s]
/proc/loadavg: 1.24 0.61 1.06 4/439 419580
/proc/meminfo: memFree=1716472/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=49.81 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1647 0 0 0 4981 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 49.81 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+102.3 s]
/proc/loadavg: 1.67 0.82 1.11 4/440 419582
/proc/meminfo: memFree=1716112/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=99.79 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1662 0 0 0 9979 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 99.79 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+162.303 s]
/proc/loadavg: 2.02 1.07 1.18 4/440 419592
/proc/meminfo: memFree=1715352/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=158.38 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1670 0 0 0 15838 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 158.38 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 1.24 1.23 4/440 419603
/proc/meminfo: memFree=1714596/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11352 CPUtime=216.97 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1680 0 0 0 21697 0 0 0 20 0 1 0 226063146 39481344 2838 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2838 1531 2 0 2048 0
Current children cumulated CPU time: 216.97 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11352 KiB

[startup+282.304 s]
/proc/loadavg: 2.00 1.38 1.29 4/441 419613
/proc/meminfo: memFree=1714564/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11616 CPUtime=275.56 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1697 0 0 0 27556 0 0 0 20 0 1 0 226063146 39481344 2904 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2904 1531 2 0 2048 0
Current children cumulated CPU time: 275.56 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11616 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.50 1.33 4/441 419623
/proc/meminfo: memFree=1712516/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11616 CPUtime=334.15 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1711 0 0 0 33415 0 0 0 20 0 1 0 226063146 39481344 2904 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2904 1531 2 0 2048 0
Current children cumulated CPU time: 334.15 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11616 KiB

[startup+402.303 s]
/proc/loadavg: 2.00 1.59 1.38 4/441 419633
/proc/meminfo: memFree=1712260/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11616 CPUtime=392.76 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1721 0 0 0 39276 0 0 0 20 0 1 0 226063146 39481344 2904 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2904 1531 2 0 2048 0
Current children cumulated CPU time: 392.76 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11616 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.67 1.42 4/441 419642
/proc/meminfo: memFree=1711980/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11616 CPUtime=451.36 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1733 0 0 0 45136 0 0 0 20 0 1 0 226063146 39481344 2904 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2904 1531 2 0 2048 0
Current children cumulated CPU time: 451.36 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11616 KiB

[startup+522.303 s]
/proc/loadavg: 2.00 1.73 1.46 4/440 419651
/proc/meminfo: memFree=1711728/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11616 CPUtime=510 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1753 0 0 0 51000 0 0 0 20 0 1 0 226063146 39481344 2904 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2904 1531 2 0 2048 0
Current children cumulated CPU time: 510 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11616 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 1.78 1.49 4/441 419663
/proc/meminfo: memFree=1711948/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11888 CPUtime=568.63 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 1767 0 0 0 56863 0 0 0 20 0 1 0 226063146 39481344 2972 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2972 1531 2 0 2048 0
Current children cumulated CPU time: 568.63 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11888 KiB

[startup+642.305 s]
/proc/loadavg: 2.00 1.83 1.53 4/441 419672
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11924 CPUtime=627.27 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 3146125 0 0 0 60305 2422 0 0 20 0 1 0 226063146 39743488 2981 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2981 1531 2 0 2112 0
Current children cumulated CPU time: 627.27 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11924 KiB

[startup+702.3 s]
/proc/loadavg: 2.07 1.89 1.57 4/441 419681
/proc/meminfo: memFree=1711160/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38556 memory=11924 CPUtime=685.89 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 8391107 0 0 0 62118 6471 0 0 20 0 1 0 226063146 39481344 2981 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9639 2981 1531 2 0 2048 0
Current children cumulated CPU time: 685.89 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11924 KiB

[startup+762.305 s]
/proc/loadavg: 2.02 1.91 1.60 4/441 419692
/proc/meminfo: memFree=1711412/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11932 CPUtime=744.52 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 13850408 0 0 0 63768 10684 0 0 20 0 1 0 226063146 39743488 2983 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2983 1531 2 0 2112 0
Current children cumulated CPU time: 744.52 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11932 KiB

[startup+822.3 s]
/proc/loadavg: 2.01 1.93 1.63 4/441 419702
/proc/meminfo: memFree=1711348/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11932 CPUtime=803.16 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363694 0 0 0 69236 11080 0 0 20 0 1 0 226063146 39743488 2983 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2983 1531 2 0 2112 0
Current children cumulated CPU time: 803.16 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11932 KiB

[startup+882.303 s]
/proc/loadavg: 2.00 1.95 1.65 4/440 419712
/proc/meminfo: memFree=1711096/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11932 CPUtime=861.81 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363708 0 0 0 75101 11080 0 0 20 0 1 0 226063146 39743488 2983 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2983 1531 2 0 2112 0
Current children cumulated CPU time: 861.81 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11932 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 1.96 1.68 4/440 419722
/proc/meminfo: memFree=1711316/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11932 CPUtime=920.45 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363721 0 0 0 80965 11080 0 0 20 0 1 0 226063146 39743488 2983 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2983 1531 2 0 2112 0
Current children cumulated CPU time: 920.45 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11932 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.70 4/440 419731
/proc/meminfo: memFree=1711316/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=11932 CPUtime=979.09 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363729 0 0 0 86829 11080 0 0 20 0 1 0 226063146 39743488 2983 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 2983 1531 2 0 2112 0
Current children cumulated CPU time: 979.09 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11932 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.72 4/439 419740
/proc/meminfo: memFree=1710780/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1037.73 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363751 0 0 0 92693 11080 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1037.73 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.74 4/440 419750
/proc/meminfo: memFree=1710780/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1096.39 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363775 0 0 0 98559 11080 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1096.39 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1182.3 s]
/proc/loadavg: 2.10 2.01 1.77 4/440 419760
/proc/meminfo: memFree=1710748/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1155.03 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363775 0 0 0 104423 11080 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1155.03 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.79 4/440 419770
/proc/meminfo: memFree=1710748/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1213.7 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 110289 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1213.7 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.81 4/440 419779
/proc/meminfo: memFree=1710968/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1272.34 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 116153 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1272.34 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/440 419789
/proc/meminfo: memFree=1710968/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1331 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 122019 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1331 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/439 419799
/proc/meminfo: memFree=1711220/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1389.64 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 127883 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1389.64 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/441 419810
/proc/meminfo: memFree=1711188/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1448.29 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 133748 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1448.29 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/440 419821
/proc/meminfo: memFree=1710904/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1506.94 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 139613 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1506.94 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/441 419831
/proc/meminfo: memFree=1710872/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1565.59 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 145478 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1565.59 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1662.3 s]
/proc/loadavg: 2.14 2.03 1.89 4/441 419840
/proc/meminfo: memFree=1710840/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1624.22 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 151341 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1624.22 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 1.91 4/441 419849
/proc/meminfo: memFree=1710840/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1682.87 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 157206 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1682.87 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.91 4/440 419860
/proc/meminfo: memFree=1710556/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1741.52 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 163071 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1741.52 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 2.03 2.03 1.92 4/442 419874
/proc/meminfo: memFree=1710556/3726824 swapFree=8388604/8388604
[pid=419569] ppid=419567 vsize=38812 memory=12192 CPUtime=1758.84 cores=0
/proc/419569/stat : 419569 (pigeonPurSampli) R 419567 419569 419553 0 -1 4194304 14363776 0 0 0 164803 11081 0 0 20 0 1 0 226063146 39743488 3048 18446744073709551615 94506089488384 94506089492496 140723511455072 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94506091592960 94506091593732 94506117611520 140723511460365 140723511460437 140723511460437 140723511463905 0
/proc/419569/statm: 9703 3048 1531 2 0 2112 0
Current children cumulated CPU time: 1758.84 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 12192 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 419569 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1648.05 s, system=110.821 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1758.87
CPU user time (s): 1648.05
CPU system time (s): 110.821
CPU usage (%): 97.7123
Max. virtual memory (cumulated for all children) (KiB): 38812
Max. memory (cumulated for all children) (KiB): 12192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1648.05
system time used= 110.821
maximum resident set size= 12216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14363778
page faults= 0
swaps= 0
block input operations= 104
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 27528


# summary of solver processes directly reported to runsolver:
#   pid: 419569
#   total CPU time (s): 1758.87
#   total CPU user time (s): 1648.05
#   total CPU system time (s): 110.821

??? end of timestamper thread
runsolver used 14.5147 second user time and 20.5118 second system time

The end
