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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/aloul/Lisa/lisa19_99_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-310.el8.x86_64
solver pid=420473, runsolver pid=420472
Current StackSize limit: 8192 KiB


[startup+0.102183 s]*
/proc/loadavg: 0.00 0.15 1.13 8/457 420475
/proc/meminfo: memFree=1699944/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=11844 CPUtime=0.1 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1826 0 0 0 9 1 0 0 20 0 1 0 226539687 40534016 2961 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 2961 1496 2 0 2305 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11844 KiB

[startup+0.241189 s]*
/proc/loadavg: 0.00 0.15 1.13 8/457 420475
/proc/meminfo: memFree=1698684/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=11844 CPUtime=0.21 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1827 0 0 0 20 1 0 0 20 0 1 0 226539687 40534016 2961 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 2961 1496 2 0 2305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11844 KiB

[startup+0.327183 s]*
/proc/loadavg: 0.00 0.15 1.13 9/457 420475
/proc/meminfo: memFree=1697928/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=11844 CPUtime=0.28 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1828 0 0 0 27 1 0 0 20 0 1 0 226539687 40534016 2961 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 2961 1496 2 0 2305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11844 KiB

[startup+0.701182 s]
/proc/loadavg: 0.00 0.15 1.13 8/457 420475
/proc/meminfo: memFree=1696920/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=11844 CPUtime=0.57 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1835 0 0 0 56 1 0 0 20 0 1 0 226539687 40534016 2961 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 2961 1496 2 0 2305 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11844 KiB

[startup+1.50119 s]
/proc/loadavg: 0.00 0.15 1.13 7/457 420475
/proc/meminfo: memFree=1696712/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=11844 CPUtime=1.34 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1857 0 0 0 133 1 0 0 20 0 1 0 226539687 40534016 2961 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 2961 1496 2 0 2305 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11844 KiB

[startup+3.14118 s]
/proc/loadavg: 0.32 0.21 1.14 7/457 420475
/proc/meminfo: memFree=1696460/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=2.92 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1862 0 0 0 291 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+6.30118 s]
/proc/loadavg: 0.32 0.21 1.14 7/457 420475
/proc/meminfo: memFree=1696332/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=5.99 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1866 0 0 0 598 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+12.7012 s]
/proc/loadavg: 0.89 0.34 1.18 9/457 420475
/proc/meminfo: memFree=1695828/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=12.21 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1876 0 0 0 1220 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+25.5012 s]
/proc/loadavg: 1.67 0.52 1.23 8/457 420484
/proc/meminfo: memFree=1694788/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=24.6 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1883 0 0 0 2459 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+51.1382 s]
/proc/loadavg: 2.60 0.83 1.31 8/457 420484
/proc/meminfo: memFree=1694284/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=49.45 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1890 0 0 0 4944 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+102.301 s]
/proc/loadavg: 3.88 1.48 1.51 9/457 420493
/proc/meminfo: memFree=1693496/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=99.04 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1902 0 0 0 9903 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 99.04 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+162.301 s]
/proc/loadavg: 4.06 1.98 1.68 8/457 420502
/proc/meminfo: memFree=1693156/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=157.18 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1906 0 0 0 15717 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 157.18 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+222.305 s]
/proc/loadavg: 4.06 2.37 1.84 7/457 420512
/proc/meminfo: memFree=1692652/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=215.32 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1915 0 0 0 21531 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 215.32 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+282.301 s]
/proc/loadavg: 4.02 2.67 1.97 7/457 420523
/proc/meminfo: memFree=1692368/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=12168 CPUtime=273.45 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1921 0 0 0 27344 1 0 0 20 0 1 0 226539687 40534016 3042 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3042 1512 2 0 2305 0
Current children cumulated CPU time: 273.45 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12168 KiB

[startup+342.301 s]
/proc/loadavg: 4.25 2.99 2.13 10/455 420533
/proc/meminfo: memFree=1688780/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=331.61 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1930 0 0 0 33160 1 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 331.61 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+402.31 s]
/proc/loadavg: 4.30 3.23 2.27 6/455 420543
/proc/meminfo: memFree=1688808/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=389.8 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1939 0 0 0 38979 1 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 389.8 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+462.31 s]
/proc/loadavg: 4.32 3.44 2.40 8/455 420552
/proc/meminfo: memFree=1687824/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=448.02 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1950 0 0 0 44801 1 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 448.02 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+522.304 s]
/proc/loadavg: 4.33 3.62 2.53 7/455 420561
/proc/meminfo: memFree=1688296/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=506.2 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1959 0 0 0 50619 1 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 506.2 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+582.302 s]
/proc/loadavg: 4.12 3.69 2.63 8/454 420571
/proc/meminfo: memFree=1687948/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=564.39 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1966 0 0 0 56437 2 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 564.39 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+642.31 s]
/proc/loadavg: 4.12 3.76 2.72 8/455 420581
/proc/meminfo: memFree=1687980/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=622.58 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1972 0 0 0 62256 2 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 622.58 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+702.301 s]
/proc/loadavg: 4.04 3.81 2.80 8/455 420591
/proc/meminfo: memFree=1687444/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=680.77 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1979 0 0 0 68074 3 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 680.77 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+762.304 s]
/proc/loadavg: 4.01 3.85 2.88 7/455 420600
/proc/meminfo: memFree=1687160/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13432 CPUtime=738.97 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1989 0 0 0 73894 3 0 0 20 0 1 0 226539687 40534016 3358 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3358 1512 2 0 2305 0
Current children cumulated CPU time: 738.97 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13432 KiB

[startup+822.305 s]
/proc/loadavg: 4.19 3.92 2.97 7/455 420610
/proc/meminfo: memFree=1687128/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=797.15 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 1994 0 0 0 79712 3 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 797.15 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 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=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=855.32 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2000 0 0 0 85529 3 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 855.32 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 KiB

[startup+942.301 s]
/proc/loadavg: 4.28 4.06 3.14 8/454 420629
/proc/meminfo: memFree=1686876/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=913.53 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2007 0 0 0 91350 3 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 913.53 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 KiB

[startup+1002.3 s]
/proc/loadavg: 4.36 4.13 3.23 7/454 420640
/proc/meminfo: memFree=1686624/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=971.72 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2015 0 0 0 97168 4 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 971.72 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 KiB

[startup+1062.31 s]
/proc/loadavg: 4.17 4.12 3.28 7/455 420661
/proc/meminfo: memFree=1686340/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=1029.9 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2024 0 0 0 102986 4 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 KiB

[startup+1122.3 s]
/proc/loadavg: 4.12 4.11 3.34 5/456 420679
/proc/meminfo: memFree=1685016/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=39584 memory=13692 CPUtime=1087.83 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2040 0 0 0 108779 4 0 0 20 0 1 0 226539687 40534016 3423 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 9896 3423 1512 2 0 2305 0
Current children cumulated CPU time: 1087.83 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13692 KiB

[startup+1182.3 s]
/proc/loadavg: 4.04 4.09 3.38 5/456 420688
/proc/meminfo: memFree=1684480/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1146.1 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2205 0 0 0 114606 4 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1146.1 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 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=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1204.41 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 120437 4 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1204.41 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 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=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1262.69 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 126264 5 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1262.69 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1362.3 s]
/proc/loadavg: 4.42 4.17 3.54 5/457 420718
/proc/meminfo: memFree=1683816/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1320.89 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 132084 5 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1320.89 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1422.3 s]
/proc/loadavg: 4.41 4.21 3.60 5/455 420727
/proc/meminfo: memFree=1684256/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1379.08 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 137903 5 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1379.08 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1482.3 s]
/proc/loadavg: 4.30 4.22 3.64 5/456 420739
/proc/meminfo: memFree=1683972/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1437.27 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 143722 5 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1437.27 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.19 3.67 5/455 420748
/proc/meminfo: memFree=1683940/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1495.59 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 149554 5 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1495.59 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 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=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1553.95 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 155389 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1553.95 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.15 3.73 5/455 420767
/proc/meminfo: memFree=1683404/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1612.3 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 161224 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1612.3 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.13 3.75 5/455 420777
/proc/meminfo: memFree=1683372/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1670.66 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 167060 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1670.66 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 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=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1729.02 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 172896 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1729.02 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 4.04 4.12 3.78 5/455 420788
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1746.25 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 174619 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1746.25 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -26, -28, -29, -30, -31, -32] -> ph3-2_1 


Detected pigeons:

 ph3-2_1 = [[-116, -821], [598, -970], [602, -963]]

[startup+1800.02 s]
# the end of solver process 420473 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1746.21 s, system=0.067424 s

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

[startup+1800 s]
/proc/loadavg: 4.04 4.12 3.78 5/455 420788
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420473] ppid=420472 vsize=40352 memory=14484 CPUtime=1746.25 cores=3
/proc/420473/stat : 420473 (pigeonPurSampli) R 420472 420473 420455 0 -1 4194304 2208 0 0 0 174619 6 0 0 20 0 1 0 226539687 41320448 3621 18446744073709551615 93843732754432 93843732758544 140722149640176 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 93843734859008 93843734859780 93843757236224 140722149646834 140722149646933 140722149646933 140722149650401 0
/proc/420473/statm: 10088 3621 1512 2 0 2497 0
Current children cumulated CPU time: 1746.25 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 14484 KiB

Child status: 1
Real time (s): 1800.02
CPU time (s): 1746.27
CPU user time (s): 1746.21
CPU system time (s): 0.067424
CPU usage (%): 97.0141
Max. virtual memory (cumulated for all children) (KiB): 40352
Max. memory (cumulated for all children) (KiB): 14484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.21
system time used= 0.067424
maximum resident set size= 14564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2211
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= 17
involuntary context switches= 83662


# summary of solver processes directly reported to runsolver:
#   pid: 420473
#   total CPU time (s): 1746.27
#   total CPU user time (s): 1746.21
#   total CPU system time (s): 0.067424

??? end of timestamper thread
runsolver used 16.7783 second user time and 22.9863 second system time

The end
