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_0_a.shuffled.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=420461, runsolver pid=420457
Current StackSize limit: 8192 KiB


[startup+0.103765 s]*
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1700448/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=0.09 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1833 0 0 0 8 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+0.231755 s]*
/proc/loadavg: 0.00 0.15 1.13 5/457 420475
/proc/meminfo: memFree=1699188/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=0.2 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1834 0 0 0 19 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+0.33475 s]*
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1697928/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=0.28 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1834 0 0 0 27 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+0.700752 s]
/proc/loadavg: 0.00 0.15 1.13 5/457 420475
/proc/meminfo: memFree=1696920/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=0.56 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1835 0 0 0 55 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+1.50075 s]
/proc/loadavg: 0.00 0.15 1.13 6/457 420475
/proc/meminfo: memFree=1696712/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=1.34 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1851 0 0 0 133 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+3.12875 s]
/proc/loadavg: 0.32 0.21 1.14 6/457 420475
/proc/meminfo: memFree=1696460/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=2.91 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1853 0 0 0 290 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+6.30075 s]
/proc/loadavg: 0.32 0.21 1.14 6/457 420475
/proc/meminfo: memFree=1696332/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=5.99 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1855 0 0 0 598 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 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=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=12.21 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1855 0 0 0 1220 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 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=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=24.59 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1857 0 0 0 2458 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 KiB

[startup+51.1298 s]
/proc/loadavg: 2.60 0.83 1.31 6/457 420484
/proc/meminfo: memFree=1694284/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=49.42 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1861 0 0 0 4941 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 49.42 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 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=420461] ppid=420457 vsize=39584 memory=12020 CPUtime=99.05 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1865 0 0 0 9904 1 0 0 20 0 1 0 226539684 40534016 3005 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3005 1531 2 0 2305 0
Current children cumulated CPU time: 99.05 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12020 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=420461] ppid=420457 vsize=39584 memory=12284 CPUtime=157.24 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1873 0 0 0 15723 1 0 0 20 0 1 0 226539684 40534016 3071 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3071 1531 2 0 2305 0
Current children cumulated CPU time: 157.24 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12284 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=420461] ppid=420457 vsize=39584 memory=12284 CPUtime=215.34 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1873 0 0 0 21533 1 0 0 20 0 1 0 226539684 40534016 3071 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3071 1531 2 0 2305 0
Current children cumulated CPU time: 215.34 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12284 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=420461] ppid=420457 vsize=39584 memory=12284 CPUtime=273.43 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1889 0 0 0 27342 1 0 0 20 0 1 0 226539684 40534016 3071 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3071 1531 2 0 2305 0
Current children cumulated CPU time: 273.43 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12284 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=331.66 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1891 0 0 0 33165 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 331.66 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=389.9 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1893 0 0 0 38989 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 389.9 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=448.11 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1897 0 0 0 44810 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 448.11 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=506.33 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1903 0 0 0 50632 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 506.33 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=564.43 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1907 0 0 0 56442 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 564.43 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=622.54 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1914 0 0 0 62253 1 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 622.54 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=680.64 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1927 0 0 0 68062 2 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 680.64 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14216 CPUtime=738.72 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1933 0 0 0 73870 2 0 0 20 0 1 0 226539684 40534016 3554 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3554 1531 2 0 2305 0
Current children cumulated CPU time: 738.72 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14216 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=796.8 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1938 0 0 0 79678 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 796.8 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=854.84 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1938 0 0 0 85482 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 854.84 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=912.91 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1939 0 0 0 91289 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 912.91 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=971.01 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1946 0 0 0 97099 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 971.01 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1029.08 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1955 0 0 0 102906 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1029.08 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1086.93 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1962 0 0 0 108691 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1086.93 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1145.18 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1965 0 0 0 114516 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1145.18 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1203.4 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1965 0 0 0 120338 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1203.4 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1261.67 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1968 0 0 0 126165 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1261.67 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1319.92 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1974 0 0 0 131990 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1319.92 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1378.18 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1977 0 0 0 137816 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1378.18 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1436.45 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1982 0 0 0 143643 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1436.45 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=39584 memory=14480 CPUtime=1494.75 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 1996 0 0 0 149473 2 0 0 20 0 1 0 226539684 40534016 3620 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 9896 3620 1531 2 0 2305 0
Current children cumulated CPU time: 1494.75 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14480 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=420461] ppid=420457 vsize=40096 memory=15272 CPUtime=1553.05 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 2152 0 0 0 155303 2 0 0 20 0 1 0 226539684 41058304 3818 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 10024 3818 1531 2 0 2433 0
Current children cumulated CPU time: 1553.05 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15272 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=420461] ppid=420457 vsize=40096 memory=15272 CPUtime=1611.32 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 2154 0 0 0 161130 2 0 0 20 0 1 0 226539684 41058304 3818 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 10024 3818 1531 2 0 2433 0
Current children cumulated CPU time: 1611.32 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15272 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=420461] ppid=420457 vsize=40096 memory=15272 CPUtime=1669.55 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 2154 0 0 0 166953 2 0 0 20 0 1 0 226539684 41058304 3818 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 10024 3818 1531 2 0 2433 0
Current children cumulated CPU time: 1669.55 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15272 KiB

[startup+1782.3 s]
/proc/loadavg: 4.06 4.12 3.77 6/455 420787
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420461] ppid=420457 vsize=40096 memory=15272 CPUtime=1727.74 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 2155 0 0 0 172772 2 0 0 20 0 1 0 226539684 41058304 3818 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 10024 3818 1531 2 0 2433 0
Current children cumulated CPU time: 1727.74 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15272 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=420461] ppid=420457 vsize=40096 memory=15272 CPUtime=1744.94 cores=0
/proc/420461/stat : 420461 (pigeonPurSampli) R 420457 420461 420440 0 -1 4194304 2155 0 0 0 174492 2 0 0 20 0 1 0 226539684 41058304 3818 18446744073709551615 93833604136960 93833604141072 140734084836224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93833606241536 93833606242308 93833624899584 140734084841971 140734084842069 140734084842069 140734084845537 0
/proc/420461/statm: 10024 3818 1531 2 0 2433 0
Current children cumulated CPU time: 1744.94 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15272 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 420461 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.95 s, system=0.030572 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1744.98
CPU user time (s): 1744.95
CPU system time (s): 0.030572
CPU usage (%): 96.9397
Max. virtual memory (cumulated for all children) (KiB): 40096
Max. memory (cumulated for all children) (KiB): 15272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.95
system time used= 0.030572
maximum resident set size= 15272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2157
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= 25
involuntary context switches= 73412


# summary of solver processes directly reported to runsolver:
#   pid: 420461
#   total CPU time (s): 1744.98
#   total CPU user time (s): 1744.95
#   total CPU system time (s): 0.030572

??? end of timestamper thread
runsolver used 16.304 second user time and 23.8101 second system time

The end
