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_2_a.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.10049 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1734252/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=11736 CPUtime=0.08 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1821 0 0 0 8 0 0 0 20 0 1 0 226785674 40534016 2934 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 2934 1496 2 0 2305 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11736 KiB

[startup+0.23549 s]*
/proc/loadavg: 0.00 0.00 0.00 6/471 414891
/proc/meminfo: memFree=1731228/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=11736 CPUtime=0.19 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1823 0 0 0 19 0 0 0 20 0 1 0 226785674 40534016 2934 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 2934 1496 2 0 2305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11736 KiB

[startup+0.338487 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1729968/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=11736 CPUtime=0.28 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1824 0 0 0 28 0 0 0 20 0 1 0 226785674 40534016 2934 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 2934 1496 2 0 2305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11736 KiB

[startup+0.700486 s]
/proc/loadavg: 0.00 0.00 0.00 8/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=11736 CPUtime=0.55 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1824 0 0 0 55 0 0 0 20 0 1 0 226785674 40534016 2934 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 2934 1496 2 0 2305 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11736 KiB

[startup+1.50049 s]
/proc/loadavg: 0.00 0.00 0.00 6/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=12000 CPUtime=1.33 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1846 0 0 0 133 0 0 0 20 0 1 0 226785674 40534016 3000 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3000 1496 2 0 2305 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12000 KiB

[startup+3.13049 s]
/proc/loadavg: 0.40 0.08 0.03 8/471 414891
/proc/meminfo: memFree=1728236/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=12000 CPUtime=2.9 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1849 0 0 0 290 0 0 0 20 0 1 0 226785674 40534016 3000 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3000 1496 2 0 2305 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12000 KiB

[startup+6.30049 s]
/proc/loadavg: 0.40 0.08 0.03 6/471 414891
/proc/meminfo: memFree=1728076/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=12000 CPUtime=5.98 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1851 0 0 0 598 0 0 0 20 0 1 0 226785674 40534016 3000 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3000 1496 2 0 2305 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 12000 KiB

[startup+12.7005 s]
/proc/loadavg: 1.03 0.23 0.08 7/471 414900
/proc/meminfo: memFree=1721144/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13080 CPUtime=12.19 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1874 0 0 0 1219 0 0 0 20 0 1 0 226785674 40534016 3270 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3270 1496 2 0 2305 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13080 KiB

[startup+25.5005 s]
/proc/loadavg: 1.49 0.35 0.12 6/471 414900
/proc/meminfo: memFree=1721428/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13080 CPUtime=24.61 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1876 0 0 0 2461 0 0 0 20 0 1 0 226785674 40534016 3270 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3270 1496 2 0 2305 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13080 KiB

[startup+51.1375 s]
/proc/loadavg: 2.49 0.68 0.23 6/471 414900
/proc/meminfo: memFree=1720860/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13080 CPUtime=49.47 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1888 0 0 0 4947 0 0 0 20 0 1 0 226785674 40534016 3270 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3270 1496 2 0 2305 0
Current children cumulated CPU time: 49.47 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13080 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.27 0.46 6/471 414910
/proc/meminfo: memFree=1720136/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13340 CPUtime=99.01 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1902 0 0 0 9901 0 0 0 20 0 1 0 226785674 40534016 3335 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3335 1496 2 0 2305 0
Current children cumulated CPU time: 99.01 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13340 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.77 0.69 8/471 414919
/proc/meminfo: memFree=1719852/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13340 CPUtime=157.07 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1921 0 0 0 15706 1 0 0 20 0 1 0 226785674 40534016 3335 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3335 1496 2 0 2305 0
Current children cumulated CPU time: 157.07 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13340 KiB

[startup+222.307 s]
/proc/loadavg: 3.93 2.18 0.90 7/472 414942
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13340 CPUtime=214.96 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1941 0 0 0 21495 1 0 0 20 0 1 0 226785674 40534016 3335 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3335 1496 2 0 2305 0
Current children cumulated CPU time: 214.96 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13340 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=414883] ppid=414881 vsize=39584 memory=13604 CPUtime=272.97 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1959 0 0 0 27296 1 0 0 20 0 1 0 226785674 40534016 3401 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3401 1496 2 0 2305 0
Current children cumulated CPU time: 272.97 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13604 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 2.95 1.33 6/471 414960
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13604 CPUtime=331.09 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 1981 0 0 0 33108 1 0 0 20 0 1 0 226785674 40534016 3401 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3401 1496 2 0 2305 0
Current children cumulated CPU time: 331.09 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13604 KiB

[startup+402.301 s]
/proc/loadavg: 4.32 3.19 1.52 7/471 414972
/proc/meminfo: memFree=1717952/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13604 CPUtime=388.98 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2000 0 0 0 38897 1 0 0 20 0 1 0 226785674 40534016 3401 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3401 1496 2 0 2305 0
Current children cumulated CPU time: 388.98 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13604 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=414883] ppid=414881 vsize=39584 memory=13604 CPUtime=447.12 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2011 0 0 0 44711 1 0 0 20 0 1 0 226785674 40534016 3401 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3401 1496 2 0 2305 0
Current children cumulated CPU time: 447.12 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13604 KiB

[startup+522.3 s]
/proc/loadavg: 4.19 3.50 1.84 7/469 414991
/proc/meminfo: memFree=1716944/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13868 CPUtime=505.3 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2027 0 0 0 50529 1 0 0 20 0 1 0 226785674 40534016 3467 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3467 1496 2 0 2305 0
Current children cumulated CPU time: 505.3 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13868 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 3.63 1.99 8/469 415001
/proc/meminfo: memFree=1716564/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39584 memory=13868 CPUtime=563.49 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2042 0 0 0 56348 1 0 0 20 0 1 0 226785674 40534016 3467 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9896 3467 1496 2 0 2305 0
Current children cumulated CPU time: 563.49 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13868 KiB

[startup+642.3 s]
/proc/loadavg: 4.05 3.70 2.12 7/469 415010
/proc/meminfo: memFree=1716312/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=621.71 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 62170 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 621.71 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+702.3 s]
/proc/loadavg: 4.02 3.75 2.24 6/470 415020
/proc/meminfo: memFree=1715524/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=679.94 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 67993 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 679.94 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 3.83 2.36 7/470 415030
/proc/meminfo: memFree=1715272/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=738.17 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 73816 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 738.17 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+822.3 s]
/proc/loadavg: 4.35 3.96 2.50 7/470 415041
/proc/meminfo: memFree=1715240/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=796.22 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 79621 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 796.22 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+882.3 s]
/proc/loadavg: 4.24 4.01 2.61 6/470 415050
/proc/meminfo: memFree=1714736/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=854.42 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 85441 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 854.42 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.02 2.71 7/470 415059
/proc/meminfo: memFree=1714232/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=912.64 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 91263 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 912.64 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1002.3 s]
/proc/loadavg: 4.17 4.04 2.80 6/469 415069
/proc/meminfo: memFree=1713696/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=970.81 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 97080 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 970.81 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1062.3 s]
/proc/loadavg: 4.31 4.11 2.90 6/469 415089
/proc/meminfo: memFree=1713412/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1028.96 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 102895 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1028.96 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1122.31 s]
/proc/loadavg: 4.30 4.14 2.99 6/469 415104
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1087.23 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 108722 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1087.23 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 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=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1145.51 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 114550 1 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1145.51 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1242.31 s]
/proc/loadavg: 4.59 4.28 3.19 6/469 415122
/proc/meminfo: memFree=1713000/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1203.78 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 120376 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1203.78 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1302.3 s]
/proc/loadavg: 4.92 4.40 3.29 7/469 415132
/proc/meminfo: memFree=1713204/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1262.09 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 126207 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1262.09 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 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=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1320.35 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 132033 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1320.35 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 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=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1378.67 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 137865 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1378.67 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1482.3 s]
/proc/loadavg: 6.26 5.49 3.93 8/469 415162
/proc/meminfo: memFree=1713960/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1436.98 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 143696 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1436.98 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1542.3 s]
/proc/loadavg: 5.76 5.46 4.02 6/469 415171
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1495.31 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 149529 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1495.31 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1602.3 s]
/proc/loadavg: 5.74 5.52 4.13 6/469 415180
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1553.66 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 155364 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1553.66 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1662.3 s]
/proc/loadavg: 5.28 5.43 4.19 6/469 415189
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1611.96 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 161194 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1611.96 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1722.3 s]
/proc/loadavg: 4.54 5.20 4.19 6/469 415199
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1670.2 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 167018 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1670.2 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

[startup+1782.3 s]
/proc/loadavg: 4.20 4.98 4.17 6/469 415209
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1728.53 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 172851 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1728.53 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]*
/proc/loadavg: 4.22 4.93 4.17 7/470 415211
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414883] ppid=414881 vsize=39840 memory=14132 CPUtime=1745.75 cores=2
/proc/414883/stat : 414883 (pigeonPurSampli) R 414881 414883 414864 0 -1 4194304 2136 0 0 0 174573 2 0 0 20 0 1 0 226785674 40796160 3533 18446744073709551615 94697425010688 94697425014800 140728189596288 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94697427115264 94697427116036 94697429340160 140728189604339 140728189604437 140728189604437 140728189607905 0
/proc/414883/statm: 9960 3533 1496 2 0 2369 0
Current children cumulated CPU time: 1745.75 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14132 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 414883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.76 s, system=0.028534 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.79
CPU user time (s): 1745.76
CPU system time (s): 0.028534
CPU usage (%): 96.9851
Max. virtual memory (cumulated for all children) (KiB): 39840
Max. memory (cumulated for all children) (KiB): 14132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.76
system time used= 0.028534
maximum resident set size= 14132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2138
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= 19
involuntary context switches= 68719


# summary of solver processes directly reported to runsolver:
#   pid: 414883
#   total CPU time (s): 1745.79
#   total CPU user time (s): 1745.76
#   total CPU system time (s): 0.028534

??? end of timestamper thread
runsolver used 16.2651 second user time and 24.149 second system time

The end
