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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/aloul/Lisa/lisa19_1_a.shuffled.cnf 

running on 1 cores: 1

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


[startup+0.101785 s]*
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1700700/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=11720 CPUtime=0.09 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1820 0 0 0 9 0 0 0 20 0 1 0 226539684 40534016 2930 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 2930 1490 2 0 2305 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11720 KiB

[startup+0.240779 s]*
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1699188/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=11720 CPUtime=0.19 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1821 0 0 0 19 0 0 0 20 0 1 0 226539684 40534016 2930 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 2930 1490 2 0 2305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11720 KiB

[startup+0.327784 s]*
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1697928/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=11720 CPUtime=0.26 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1821 0 0 0 26 0 0 0 20 0 1 0 226539684 40534016 2930 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 2930 1490 2 0 2305 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11720 KiB

[startup+0.700781 s]
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1696920/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=11720 CPUtime=0.56 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1824 0 0 0 56 0 0 0 20 0 1 0 226539684 40534016 2930 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 2930 1490 2 0 2305 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11720 KiB

[startup+1.50078 s]
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1696712/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=1.34 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1844 0 0 0 133 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+3.13878 s]
/proc/loadavg: 0.32 0.21 1.14 6/457 420475
/proc/meminfo: memFree=1696460/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=2.91 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1846 0 0 0 290 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+6.30078 s]
/proc/loadavg: 0.32 0.21 1.14 6/457 420475
/proc/meminfo: memFree=1696332/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=5.98 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1847 0 0 0 597 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+12.7008 s]
/proc/loadavg: 0.89 0.34 1.18 6/457 420475
/proc/meminfo: memFree=1696080/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=12.19 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1847 0 0 0 1218 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+25.5008 s]
/proc/loadavg: 1.67 0.52 1.23 6/457 420484
/proc/meminfo: memFree=1694788/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=24.6 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1852 0 0 0 2459 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+51.1358 s]
/proc/loadavg: 2.60 0.83 1.31 6/457 420484
/proc/meminfo: memFree=1694284/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=49.44 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1858 0 0 0 4943 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+102.301 s]
/proc/loadavg: 3.88 1.48 1.51 6/457 420493
/proc/meminfo: memFree=1693496/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=98.98 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1866 0 0 0 9897 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 98.98 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+162.301 s]
/proc/loadavg: 4.06 1.98 1.68 6/457 420502
/proc/meminfo: memFree=1693156/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=157.1 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1870 0 0 0 15709 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 157.1 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+222.301 s]
/proc/loadavg: 4.06 2.37 1.84 6/457 420512
/proc/meminfo: memFree=1692652/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=215.33 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1883 0 0 0 21532 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 215.33 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+282.301 s]
/proc/loadavg: 4.02 2.67 1.97 6/457 420523
/proc/meminfo: memFree=1692368/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12044 CPUtime=273.43 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1888 0 0 0 27342 1 0 0 20 0 1 0 226539684 40534016 3011 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3011 1506 2 0 2305 0
Current children cumulated CPU time: 273.43 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+342.301 s]
/proc/loadavg: 4.25 2.99 2.13 6/455 420533
/proc/meminfo: memFree=1688780/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=331.51 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1908 0 0 0 33150 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 331.51 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+402.301 s]
/proc/loadavg: 4.30 3.23 2.27 6/455 420543
/proc/meminfo: memFree=1688808/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=389.61 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1913 0 0 0 38960 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 389.61 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+462.301 s]
/proc/loadavg: 4.32 3.44 2.40 6/455 420552
/proc/meminfo: memFree=1687824/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=447.7 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1918 0 0 0 44769 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 447.7 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+522.301 s]
/proc/loadavg: 4.33 3.62 2.53 6/455 420561
/proc/meminfo: memFree=1688296/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=505.81 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1922 0 0 0 50580 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 505.81 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+582.301 s]
/proc/loadavg: 4.12 3.69 2.63 6/454 420571
/proc/meminfo: memFree=1687948/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=564.02 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1926 0 0 0 56401 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 564.02 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+642.301 s]
/proc/loadavg: 4.12 3.76 2.72 6/455 420581
/proc/meminfo: memFree=1687980/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=622.25 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1931 0 0 0 62224 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 622.25 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+702.301 s]
/proc/loadavg: 4.04 3.81 2.80 6/455 420591
/proc/meminfo: memFree=1687444/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=680.47 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1935 0 0 0 68046 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 680.47 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+762.301 s]
/proc/loadavg: 4.01 3.85 2.88 6/455 420600
/proc/meminfo: memFree=1687160/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=738.71 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1940 0 0 0 73870 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 738.71 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+822.301 s]
/proc/loadavg: 4.19 3.92 2.97 6/455 420610
/proc/meminfo: memFree=1687128/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=796.95 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1946 0 0 0 79694 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 796.95 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+882.301 s]
/proc/loadavg: 4.33 4.02 3.06 6/455 420620
/proc/meminfo: memFree=1687160/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=855.11 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1951 0 0 0 85510 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 855.11 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+942.301 s]
/proc/loadavg: 4.28 4.06 3.14 6/454 420629
/proc/meminfo: memFree=1686876/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12308 CPUtime=913.36 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1954 0 0 0 91335 1 0 0 20 0 1 0 226539684 40534016 3077 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3077 1506 2 0 2305 0
Current children cumulated CPU time: 913.36 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+1002.3 s]
/proc/loadavg: 4.36 4.13 3.23 6/454 420640
/proc/meminfo: memFree=1686624/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=971.61 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1959 0 0 0 97160 1 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 971.61 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1062.3 s]
/proc/loadavg: 4.17 4.12 3.28 6/455 420661
/proc/meminfo: memFree=1686340/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1029.83 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1965 0 0 0 102982 1 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1029.83 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1122.3 s]
/proc/loadavg: 4.12 4.11 3.34 6/456 420679
/proc/meminfo: memFree=1685016/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1087.8 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1969 0 0 0 108778 2 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1087.8 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1182.3 s]
/proc/loadavg: 4.04 4.09 3.38 6/456 420688
/proc/meminfo: memFree=1684480/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1146.06 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1975 0 0 0 114604 2 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1146.06 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1242.3 s]
/proc/loadavg: 4.01 4.07 3.42 6/457 420698
/proc/meminfo: memFree=1683880/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1204.28 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1978 0 0 0 120426 2 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1204.28 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1302.3 s]
/proc/loadavg: 4.16 4.09 3.47 6/456 420708
/proc/meminfo: memFree=1684100/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1262.53 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1985 0 0 0 126251 2 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1262.53 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1362.3 s]
/proc/loadavg: 4.42 4.17 3.54 6/457 420718
/proc/meminfo: memFree=1683816/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=39584 memory=12572 CPUtime=1320.8 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 1990 0 0 0 132078 2 0 0 20 0 1 0 226539684 40534016 3143 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 9896 3143 1506 2 0 2305 0
Current children cumulated CPU time: 1320.8 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12572 KiB

[startup+1422.3 s]
/proc/loadavg: 4.41 4.21 3.60 6/455 420727
/proc/meminfo: memFree=1684256/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1379.07 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2122 0 0 0 137905 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1379.07 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1482.3 s]
/proc/loadavg: 4.30 4.22 3.64 6/456 420739
/proc/meminfo: memFree=1683972/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1437.3 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2122 0 0 0 143728 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1437.3 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.19 3.67 6/455 420748
/proc/meminfo: memFree=1683940/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1495.6 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 149558 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1495.6 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.17 3.70 6/455 420757
/proc/meminfo: memFree=1683688/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1553.9 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 155388 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1553.9 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.15 3.73 6/455 420767
/proc/meminfo: memFree=1683404/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1612.24 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 161222 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1612.24 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.13 3.75 6/455 420777
/proc/meminfo: memFree=1683372/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1670.57 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 167055 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1670.57 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

[startup+1782.3 s]
/proc/loadavg: 4.06 4.12 3.77 8/455 420787
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1728.91 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 172889 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1728.91 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.04 4.12 3.78 6/455 420788
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420460] ppid=420458 vsize=40096 memory=13100 CPUtime=1746.14 cores=1
/proc/420460/stat : 420460 (pigeonPurSampli) R 420458 420460 420434 0 -1 4194304 2125 0 0 0 174612 2 0 0 20 0 1 0 226539684 41058304 3275 18446744073709551615 94506783715328 94506783719440 140721519559312 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94506785819904 94506785820676 94506790088704 140721519563251 140721519563349 140721519563349 140721519566817 0
/proc/420460/statm: 10024 3275 1506 2 0 2433 0
Current children cumulated CPU time: 1746.14 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 13100 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 420460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1746.15 s, system=0.02766 s

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1746.18
CPU user time (s): 1746.15
CPU system time (s): 0.02766
CPU usage (%): 97.0068
Max. virtual memory (cumulated for all children) (KiB): 40096
Max. memory (cumulated for all children) (KiB): 13100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.15
system time used= 0.02766
maximum resident set size= 13100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2127
page faults= 0
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 81633


# summary of solver processes directly reported to runsolver:
#   pid: 420460
#   total CPU time (s): 1746.18
#   total CPU user time (s): 1746.15
#   total CPU system time (s): 0.02766

??? end of timestamper thread
runsolver used 16.2883 second user time and 23.799 second system time

The end
