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

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


[startup+0.100363 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1733496/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11728 CPUtime=0.1 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1824 0 0 0 10 0 0 0 20 0 1 0 226785674 40656896 2932 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2932 1494 2 0 2335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11728 KiB

[startup+0.236367 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1731228/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11728 CPUtime=0.2 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1828 0 0 0 20 0 0 0 20 0 1 0 226785674 40656896 2932 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2932 1494 2 0 2335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11728 KiB

[startup+0.340368 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1729968/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11728 CPUtime=0.28 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1828 0 0 0 28 0 0 0 20 0 1 0 226785674 40656896 2932 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2932 1494 2 0 2335 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11728 KiB

[startup+0.702373 s]
/proc/loadavg: 0.00 0.00 0.00 6/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11992 CPUtime=0.57 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1839 0 0 0 57 0 0 0 20 0 1 0 226785674 40656896 2998 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2998 1494 2 0 2335 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11992 KiB

[startup+1.50137 s]
/proc/loadavg: 0.00 0.00 0.00 8/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11992 CPUtime=1.34 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1852 0 0 0 134 0 0 0 20 0 1 0 226785674 40656896 2998 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2998 1494 2 0 2335 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11992 KiB

[startup+3.14337 s]
/proc/loadavg: 0.40 0.08 0.03 7/471 414891
/proc/meminfo: memFree=1728236/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11992 CPUtime=2.93 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1864 0 0 0 293 0 0 0 20 0 1 0 226785674 40656896 2998 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2998 1494 2 0 2335 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11992 KiB

[startup+6.30037 s]
/proc/loadavg: 0.40 0.08 0.03 7/471 414891
/proc/meminfo: memFree=1728076/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=11992 CPUtime=5.98 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1867 0 0 0 598 0 0 0 20 0 1 0 226785674 40656896 2998 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 2998 1494 2 0 2335 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11992 KiB

[startup+12.7004 s]
/proc/loadavg: 1.03 0.23 0.08 7/471 414900
/proc/meminfo: memFree=1721144/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13112 CPUtime=12.18 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1873 0 0 0 1218 0 0 0 20 0 1 0 226785674 40656896 3278 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3278 1494 2 0 2335 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13112 KiB

[startup+25.5015 s]
/proc/loadavg: 1.49 0.35 0.12 8/471 414900
/proc/meminfo: memFree=1721428/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13112 CPUtime=24.58 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1875 0 0 0 2458 0 0 0 20 0 1 0 226785674 40656896 3278 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3278 1494 2 0 2335 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13112 KiB

[startup+51.1374 s]
/proc/loadavg: 2.49 0.68 0.23 7/471 414900
/proc/meminfo: memFree=1720860/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13112 CPUtime=49.44 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1885 0 0 0 4944 0 0 0 20 0 1 0 226785674 40656896 3278 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3278 1494 2 0 2335 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13112 KiB

[startup+102.301 s]
/proc/loadavg: 3.47 1.27 0.46 7/471 414910
/proc/meminfo: memFree=1720136/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13112 CPUtime=99.03 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1893 0 0 0 9903 0 0 0 20 0 1 0 226785674 40656896 3278 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3278 1494 2 0 2335 0
Current children cumulated CPU time: 99.03 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13112 KiB

[startup+162.305 s]
/proc/loadavg: 3.81 1.77 0.69 8/471 414919
/proc/meminfo: memFree=1719852/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=157.19 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1903 0 0 0 15719 0 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 157.19 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+222.3 s]
/proc/loadavg: 3.93 2.18 0.90 7/472 414942
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=215.31 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1909 0 0 0 21531 0 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 215.31 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.56 1.11 7/472 414951
/proc/meminfo: memFree=1717804/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=273.5 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1923 0 0 0 27349 1 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 273.5 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+342.303 s]
/proc/loadavg: 4.49 2.95 1.33 7/471 414960
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=331.67 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1930 0 0 0 33166 1 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 331.67 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 3.19 1.52 8/471 414972
/proc/meminfo: memFree=1717952/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=389.68 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1938 0 0 0 38967 1 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 389.68 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.35 1.68 8/471 414982
/proc/meminfo: memFree=1716976/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=447.86 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1947 0 0 0 44785 1 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 447.86 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+522.3 s]
/proc/loadavg: 4.19 3.50 1.84 8/469 414991
/proc/meminfo: memFree=1716944/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13436 CPUtime=506 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1956 0 0 0 50599 1 0 0 20 0 1 0 226785674 40656896 3359 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3359 1510 2 0 2335 0
Current children cumulated CPU time: 506 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13436 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 3.63 1.99 7/469 415001
/proc/meminfo: memFree=1716564/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13700 CPUtime=564.18 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1965 0 0 0 56417 1 0 0 20 0 1 0 226785674 40656896 3425 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3425 1510 2 0 2335 0
Current children cumulated CPU time: 564.18 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13700 KiB

[startup+642.3 s]
/proc/loadavg: 4.05 3.70 2.12 8/469 415010
/proc/meminfo: memFree=1716312/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13700 CPUtime=622.39 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1971 0 0 0 62238 1 0 0 20 0 1 0 226785674 40656896 3425 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3425 1510 2 0 2335 0
Current children cumulated CPU time: 622.39 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13700 KiB

[startup+702.3 s]
/proc/loadavg: 4.02 3.75 2.24 7/470 415020
/proc/meminfo: memFree=1715524/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13700 CPUtime=680.46 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1981 0 0 0 68045 1 0 0 20 0 1 0 226785674 40656896 3425 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3425 1510 2 0 2335 0
Current children cumulated CPU time: 680.46 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13700 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 3.83 2.36 8/470 415030
/proc/meminfo: memFree=1715272/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13700 CPUtime=738.52 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1989 0 0 0 73851 1 0 0 20 0 1 0 226785674 40656896 3425 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3425 1510 2 0 2335 0
Current children cumulated CPU time: 738.52 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13700 KiB

[startup+822.3 s]
/proc/loadavg: 4.35 3.96 2.50 9/470 415041
/proc/meminfo: memFree=1715240/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=39704 memory=13700 CPUtime=796.73 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 1996 0 0 0 79672 1 0 0 20 0 1 0 226785674 40656896 3425 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 9926 3425 1510 2 0 2335 0
Current children cumulated CPU time: 796.73 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13700 KiB

[startup+882.3 s]
/proc/loadavg: 4.24 4.01 2.61 8/470 415050
/proc/meminfo: memFree=1714736/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=854.84 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 85483 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 854.84 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+942.307 s]
/proc/loadavg: 4.13 4.02 2.71 8/470 415059
/proc/meminfo: memFree=1714232/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=913.02 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 91301 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 913.02 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1002.3 s]
/proc/loadavg: 4.17 4.04 2.80 9/469 415069
/proc/meminfo: memFree=1713696/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=971.26 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 97125 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 971.26 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1062.3 s]
/proc/loadavg: 4.31 4.11 2.90 7/469 415089
/proc/meminfo: memFree=1713412/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1029.5 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 102949 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1029.5 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1122.3 s]
/proc/loadavg: 4.30 4.14 2.99 8/469 415104
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1087.76 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 108775 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1087.76 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1182.3 s]
/proc/loadavg: 4.44 4.19 3.08 7/469 415113
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1145.91 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 114590 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1145.91 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1242.3 s]
/proc/loadavg: 4.59 4.28 3.19 7/469 415122
/proc/meminfo: memFree=1713000/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1204.08 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 120407 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1204.08 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1302.3 s]
/proc/loadavg: 4.92 4.40 3.29 8/469 415132
/proc/meminfo: memFree=1713204/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1262.31 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 126230 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1262.31 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1362.3 s]
/proc/loadavg: 6.57 4.96 3.55 7/469 415141
/proc/meminfo: memFree=1713676/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1320.51 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 132050 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1320.51 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1422.3 s]
/proc/loadavg: 6.88 5.36 3.78 7/469 415152
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1378.65 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 137864 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1378.65 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1482.3 s]
/proc/loadavg: 6.26 5.49 3.93 7/469 415162
/proc/meminfo: memFree=1713960/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1436.91 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 143690 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1436.91 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1542.3 s]
/proc/loadavg: 5.76 5.46 4.02 7/469 415171
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1495.21 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 149520 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1495.21 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1602.3 s]
/proc/loadavg: 5.74 5.52 4.13 7/469 415180
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1553.46 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 155345 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1553.46 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1662.31 s]
/proc/loadavg: 5.28 5.43 4.19 7/469 415189
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1611.71 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 161170 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1611.71 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1722.3 s]
/proc/loadavg: 4.54 5.20 4.19 7/469 415199
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1670 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 166999 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1670 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

[startup+1782.3 s]
/proc/loadavg: 4.20 4.98 4.17 7/469 415209
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1728.24 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 172823 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1728.24 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.22 4.93 4.17 7/470 415211
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414885] ppid=414882 vsize=40216 memory=14228 CPUtime=1745.47 cores=0
/proc/414885/stat : 414885 (pigeonPurSampli) R 414882 414885 414849 0 -1 4194304 2131 0 0 0 174546 1 0 0 20 0 1 0 226785674 41181184 3557 18446744073709551615 94432159887360 94432159891472 140725233085424 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94432161991936 94432161992708 94432191184896 140725233086963 140725233087061 140725233087061 140725233090529 0
/proc/414885/statm: 10054 3557 1510 2 0 2463 0
Current children cumulated CPU time: 1745.47 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14228 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 414885 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.49 s, system=0.019666 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): 1745.51
CPU user time (s): 1745.49
CPU system time (s): 0.019666
CPU usage (%): 96.9695
Max. virtual memory (cumulated for all children) (KiB): 40216
Max. memory (cumulated for all children) (KiB): 14228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.49
system time used= 0.019666
maximum resident set size= 14228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2134
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= 14
involuntary context switches= 62883


# summary of solver processes directly reported to runsolver:
#   pid: 414885
#   total CPU time (s): 1745.51
#   total CPU user time (s): 1745.49
#   total CPU system time (s): 0.019666

??? end of timestamper thread
runsolver used 16.377 second user time and 22.7831 second system time

The end
