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

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

running on 1 cores: 3

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


[startup+0.100922 s]*
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1731480/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=0.09 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1829 0 0 0 9 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 2 0 2305 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+0.233918 s]*
/proc/loadavg: 0.00 0.00 0.00 6/471 414891
/proc/meminfo: memFree=1730472/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=0.19 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1830 0 0 0 19 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 2 0 2305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+0.327918 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1729968/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=0.27 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1831 0 0 0 27 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 2 0 2305 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+0.702922 s]
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=0.57 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1838 0 0 0 57 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 2 0 2305 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+1.50092 s]
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1728740/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=1.34 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1844 0 0 0 134 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 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.13392 s]
/proc/loadavg: 0.40 0.08 0.03 6/471 414891
/proc/meminfo: memFree=1728236/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12044 CPUtime=2.92 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1845 0 0 0 292 0 0 0 20 0 1 0 226785677 40534016 3011 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3011 1537 2 0 2305 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12044 KiB

[startup+6.30092 s]
/proc/loadavg: 0.40 0.08 0.03 5/471 414891
/proc/meminfo: memFree=1728076/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=12308 CPUtime=5.99 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1869 0 0 0 599 0 0 0 20 0 1 0 226785677 40534016 3077 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3077 1537 2 0 2305 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12308 KiB

[startup+12.7009 s]
/proc/loadavg: 1.03 0.23 0.08 5/471 414900
/proc/meminfo: memFree=1721144/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=12.19 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1877 0 0 0 1219 0 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+25.5009 s]
/proc/loadavg: 1.49 0.35 0.12 6/471 414900
/proc/meminfo: memFree=1721428/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=24.62 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1880 0 0 0 2462 0 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+51.1329 s]
/proc/loadavg: 2.49 0.68 0.23 5/471 414900
/proc/meminfo: memFree=1720860/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=49.49 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1883 0 0 0 4949 0 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 49.49 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+102.301 s]
/proc/loadavg: 3.47 1.27 0.46 5/471 414910
/proc/meminfo: memFree=1720136/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=99.15 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1895 0 0 0 9915 0 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 99.15 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+162.303 s]
/proc/loadavg: 3.81 1.77 0.69 5/471 414919
/proc/meminfo: memFree=1719852/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=157.4 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1912 0 0 0 15739 1 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 157.4 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+222.301 s]
/proc/loadavg: 3.93 2.18 0.90 6/472 414942
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=215.55 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1922 0 0 0 21554 1 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 215.55 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+282.301 s]
/proc/loadavg: 4.15 2.56 1.11 5/472 414951
/proc/meminfo: memFree=1717804/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14296 CPUtime=273.79 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1931 0 0 0 27378 1 0 0 20 0 1 0 226785677 40534016 3574 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3574 1537 2 0 2305 0
Current children cumulated CPU time: 273.79 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14296 KiB

[startup+342.301 s]
/proc/loadavg: 4.49 2.95 1.33 5/471 414960
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14560 CPUtime=331.97 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1944 0 0 0 33196 1 0 0 20 0 1 0 226785677 40534016 3640 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3640 1537 2 0 2305 0
Current children cumulated CPU time: 331.97 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14560 KiB

[startup+402.301 s]
/proc/loadavg: 4.32 3.19 1.52 5/471 414972
/proc/meminfo: memFree=1717952/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14560 CPUtime=389.88 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1958 0 0 0 38987 1 0 0 20 0 1 0 226785677 40534016 3640 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3640 1537 2 0 2305 0
Current children cumulated CPU time: 389.88 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14560 KiB

[startup+462.301 s]
/proc/loadavg: 4.19 3.35 1.68 5/471 414982
/proc/meminfo: memFree=1716976/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14560 CPUtime=447.98 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1968 0 0 0 44797 1 0 0 20 0 1 0 226785677 40534016 3640 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3640 1537 2 0 2305 0
Current children cumulated CPU time: 447.98 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14560 KiB

[startup+522.301 s]
/proc/loadavg: 4.19 3.50 1.84 5/469 414991
/proc/meminfo: memFree=1716944/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14560 CPUtime=506.09 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1984 0 0 0 50608 1 0 0 20 0 1 0 226785677 40534016 3640 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3640 1537 2 0 2305 0
Current children cumulated CPU time: 506.09 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14560 KiB

[startup+582.301 s]
/proc/loadavg: 4.15 3.63 1.99 6/469 415001
/proc/meminfo: memFree=1716564/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14560 CPUtime=564.36 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 1995 0 0 0 56434 2 0 0 20 0 1 0 226785677 40534016 3640 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3640 1537 2 0 2305 0
Current children cumulated CPU time: 564.36 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14560 KiB

[startup+642.301 s]
/proc/loadavg: 4.05 3.70 2.12 6/469 415010
/proc/meminfo: memFree=1716312/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14824 CPUtime=622.67 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2001 0 0 0 62265 2 0 0 20 0 1 0 226785677 40534016 3706 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3706 1537 2 0 2305 0
Current children cumulated CPU time: 622.67 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14824 KiB

[startup+702.301 s]
/proc/loadavg: 4.02 3.75 2.24 6/470 415020
/proc/meminfo: memFree=1715524/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14824 CPUtime=680.99 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2019 0 0 0 68097 2 0 0 20 0 1 0 226785677 40534016 3706 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3706 1537 2 0 2305 0
Current children cumulated CPU time: 680.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14824 KiB

[startup+762.301 s]
/proc/loadavg: 4.12 3.83 2.36 5/470 415030
/proc/meminfo: memFree=1715272/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14824 CPUtime=739.31 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2024 0 0 0 73929 2 0 0 20 0 1 0 226785677 40534016 3706 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3706 1537 2 0 2305 0
Current children cumulated CPU time: 739.31 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14824 KiB

[startup+822.301 s]
/proc/loadavg: 4.35 3.96 2.50 5/470 415041
/proc/meminfo: memFree=1715240/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14824 CPUtime=797.44 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2037 0 0 0 79742 2 0 0 20 0 1 0 226785677 40534016 3706 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3706 1537 2 0 2305 0
Current children cumulated CPU time: 797.44 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14824 KiB

[startup+882.301 s]
/proc/loadavg: 4.24 4.01 2.61 6/470 415050
/proc/meminfo: memFree=1714736/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39584 memory=14824 CPUtime=855.77 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2053 0 0 0 85575 2 0 0 20 0 1 0 226785677 40534016 3706 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9896 3706 1537 2 0 2305 0
Current children cumulated CPU time: 855.77 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14824 KiB

[startup+942.301 s]
/proc/loadavg: 4.13 4.02 2.71 5/470 415059
/proc/meminfo: memFree=1714232/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=914.15 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 91413 2 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 914.15 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1002.3 s]
/proc/loadavg: 4.17 4.04 2.80 6/469 415069
/proc/meminfo: memFree=1713696/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=972.56 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 97253 3 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 972.56 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1062.3 s]
/proc/loadavg: 4.31 4.11 2.90 5/469 415089
/proc/meminfo: memFree=1713412/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=1030.93 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 103090 3 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 1030.93 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1122.3 s]
/proc/loadavg: 4.30 4.14 2.99 5/469 415104
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=1089.23 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 108920 3 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 1089.23 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1182.3 s]
/proc/loadavg: 4.44 4.19 3.08 5/469 415113
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=1147.64 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 114761 3 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 1147.64 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1242.3 s]
/proc/loadavg: 4.59 4.28 3.19 5/469 415122
/proc/meminfo: memFree=1713000/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=39840 memory=15352 CPUtime=1206.05 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2147 0 0 0 120601 4 0 0 20 0 1 0 226785677 40796160 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 9960 3838 1537 2 0 2369 0
Current children cumulated CPU time: 1206.05 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 15352 KiB

[startup+1302.3 s]
/proc/loadavg: 5.08 4.45 3.31 5/469 415132
/proc/meminfo: memFree=1713204/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1264.45 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2155 0 0 0 126441 4 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1264.45 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1362.3 s]
/proc/loadavg: 6.60 4.99 3.57 7/469 415141
/proc/meminfo: memFree=1713676/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1322.84 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 132280 4 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1322.84 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1422.3 s]
/proc/loadavg: 6.89 5.39 3.80 5/469 415152
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1381.08 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 138104 4 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1381.08 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1482.3 s]
/proc/loadavg: 6.26 5.49 3.93 5/469 415162
/proc/meminfo: memFree=1713960/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1439.5 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 143945 5 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1439.5 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1542.3 s]
/proc/loadavg: 5.76 5.46 4.02 6/469 415171
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1497.92 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 149787 5 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1497.92 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1602.3 s]
/proc/loadavg: 5.74 5.52 4.13 5/469 415180
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1556.36 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 155631 5 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1556.36 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1662.3 s]
/proc/loadavg: 5.28 5.43 4.19 6/469 415189
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1614.8 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 161475 5 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1614.8 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1722.3 s]
/proc/loadavg: 4.54 5.20 4.19 5/469 415199
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1673.21 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 167316 5 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1673.21 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

[startup+1782.3 s]
/proc/loadavg: 4.20 4.98 4.17 5/469 415209
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1731.65 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 173159 6 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1731.65 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.22 4.93 4.17 6/470 415211
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414889] ppid=414888 vsize=40096 memory=15352 CPUtime=1748.91 cores=3
/proc/414889/stat : 414889 (pigeonPurSampli) R 414888 414889 414872 0 -1 4194304 2157 0 0 0 174885 6 0 0 20 0 1 0 226785677 41058304 3838 18446744073709551615 94869296078848 94869296082960 140726677468560 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94869298183424 94869298184196 94869303676928 140726677475827 140726677475925 140726677475925 140726677479393 0
/proc/414889/statm: 10024 3838 1537 2 0 2433 0
Current children cumulated CPU time: 1748.91 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15352 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 414889 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1748.88 s, system=0.062762 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): 1748.94
CPU user time (s): 1748.88
CPU system time (s): 0.062762
CPU usage (%): 97.1604
Max. virtual memory (cumulated for all children) (KiB): 40096
Max. memory (cumulated for all children) (KiB): 15352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.88
system time used= 0.062762
maximum resident set size= 15420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2159
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= 15
involuntary context switches= 119947


# summary of solver processes directly reported to runsolver:
#   pid: 414889
#   total CPU time (s): 1748.94
#   total CPU user time (s): 1748.88
#   total CPU system time (s): 0.062762

??? end of timestamper thread
runsolver used 16.3637 second user time and 22.2521 second system time

The end
