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: 2
  memory of node 0: 15859 MiB (13174 MiB free)
  memory of node 1: 16087 MiB (13654 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/dinphil/dp04u03.shuffled.cnf 

running on 1 cores: 4

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1178888, runsolver pid=1178884
Current StackSize limit: 8192 KiB


[startup+0.100356 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27422268/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38532 memory=11324 CPUtime=0.07 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1673 0 0 0 7 0 0 0 20 0 1 0 340324309 39456768 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9633 2831 1540 2 0 2045 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38532 KiB
Current children cumulated memory: 11324 KiB

[startup+0.224352 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27404180/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=0.18 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1716 0 0 0 18 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+0.323353 s]*
/proc/loadavg: 0.00 0.04 1.13 12/571 1178925
/proc/meminfo: memFree=27401984/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=0.25 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1717 0 0 0 25 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+0.700349 s]
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27399028/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=0.58 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1717 0 0 0 58 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+1.50035 s]
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27397652/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=1.36 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1717 0 0 0 136 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+3.12035 s]
/proc/loadavg: 0.64 0.17 1.17 10/571 1178925
/proc/meminfo: memFree=27396888/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=2.94 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1717 0 0 0 294 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+6.30035 s]
/proc/loadavg: 0.64 0.17 1.17 11/572 1178926
/proc/meminfo: memFree=27395580/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=6.05 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1717 0 0 0 605 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+12.7003 s]
/proc/loadavg: 1.31 0.32 1.21 10/571 1178926
/proc/meminfo: memFree=27395136/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=12.32 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1718 0 0 0 1232 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+25.5003 s]
/proc/loadavg: 2.79 0.70 1.32 11/571 1178926
/proc/meminfo: memFree=27394832/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=38788 memory=11324 CPUtime=24.85 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1718 0 0 0 2485 0 0 0 20 0 1 0 340324309 39718912 2831 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9697 2831 1540 2 0 2109 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 38788 KiB
Current children cumulated memory: 11324 KiB

[startup+51.1273 s]
/proc/loadavg: 4.72 1.32 1.51 10/571 1178935
/proc/meminfo: memFree=27391520/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39200 memory=11852 CPUtime=49.91 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1868 0 0 0 4991 0 0 0 20 0 1 0 340324309 40140800 2963 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9800 2963 1540 2 0 2212 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 39200 KiB
Current children cumulated memory: 11852 KiB

[startup+102.3 s]
/proc/loadavg: 6.22 2.27 1.82 8/563 1178946
/proc/meminfo: memFree=27398976/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39200 memory=11852 CPUtime=100 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 1868 0 0 0 10000 0 0 0 20 0 1 0 340324309 40140800 2963 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9800 2963 1540 2 0 2212 0
Current children cumulated CPU time: 100 s
Current children cumulated vsize: 39200 KiB
Current children cumulated memory: 11852 KiB

[startup+162.3 s]
/proc/loadavg: 6.79 3.15 2.16 8/563 1178955
/proc/meminfo: memFree=27390512/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=158.72 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2020 0 0 0 15872 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 158.72 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+222.3 s]
/proc/loadavg: 7.00 3.88 2.47 8/563 1178965
/proc/meminfo: memFree=27388480/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=217.45 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2023 0 0 0 21745 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 217.45 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+282.3 s]
/proc/loadavg: 7.16 4.50 2.77 8/563 1178974
/proc/meminfo: memFree=27388364/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=276.18 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2030 0 0 0 27618 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 276.18 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+342.3 s]
/proc/loadavg: 7.06 4.95 3.04 8/559 1178983
/proc/meminfo: memFree=27388104/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=334.92 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2031 0 0 0 33492 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 334.92 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+402.3 s]
/proc/loadavg: 6.49 5.19 3.24 7/554 1179000
/proc/meminfo: memFree=27388900/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=393.68 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2033 0 0 0 39368 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 393.68 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+462.3 s]
/proc/loadavg: 6.29 5.37 3.43 7/555 1179010
/proc/meminfo: memFree=27388700/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=452.44 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2034 0 0 0 45244 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 452.44 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+522.3 s]
/proc/loadavg: 6.15 5.50 3.60 7/552 1179020
/proc/meminfo: memFree=27391296/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=511.2 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2036 0 0 0 51120 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 511.2 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+582.3 s]
/proc/loadavg: 6.05 5.60 3.75 7/552 1179029
/proc/meminfo: memFree=27391328/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=569.96 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2037 0 0 0 56996 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 569.96 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+642.3 s]
/proc/loadavg: 6.02 5.67 3.90 7/552 1179039
/proc/meminfo: memFree=27391312/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39712 memory=14252 CPUtime=628.73 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2039 0 0 0 62873 0 0 0 20 0 1 0 340324309 40665088 3563 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9928 3563 1540 2 0 2340 0
Current children cumulated CPU time: 628.73 s
Current children cumulated vsize: 39712 KiB
Current children cumulated memory: 14252 KiB

[startup+702.3 s]
/proc/loadavg: 6.16 5.78 4.05 6/548 1179057
/proc/meminfo: memFree=27397668/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=687.5 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2110 0 0 0 68749 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 687.5 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+762.3 s]
/proc/loadavg: 5.48 5.65 4.11 6/548 1179067
/proc/meminfo: memFree=27397916/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=746.27 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2111 0 0 0 74626 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 746.27 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+822.3 s]
/proc/loadavg: 5.17 5.53 4.17 6/548 1179077
/proc/meminfo: memFree=27397776/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=805.05 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2112 0 0 0 80504 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 805.05 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+882.3 s]
/proc/loadavg: 5.06 5.43 4.23 6/545 1179092
/proc/meminfo: memFree=27402892/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=863.83 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2113 0 0 0 86382 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 863.83 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+942.3 s]
/proc/loadavg: 5.13 5.38 4.29 6/545 1179101
/proc/meminfo: memFree=27402912/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=922.61 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2114 0 0 0 92260 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 922.61 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1002.3 s]
/proc/loadavg: 5.13 5.34 4.35 6/545 1179111
/proc/meminfo: memFree=27402252/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=981.39 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2115 0 0 0 98138 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 981.39 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1062.3 s]
/proc/loadavg: 5.19 5.32 4.41 6/544 1179120
/proc/meminfo: memFree=27402208/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1040.18 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2116 0 0 0 104017 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1040.18 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1122.3 s]
/proc/loadavg: 5.23 5.31 4.46 6/543 1179130
/proc/meminfo: memFree=27402124/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1098.98 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2117 0 0 0 109897 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1098.98 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1182.3 s]
/proc/loadavg: 5.25 5.29 4.51 6/544 1179140
/proc/meminfo: memFree=27402080/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1157.77 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2118 0 0 0 115776 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1157.77 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1242.3 s]
/proc/loadavg: 5.16 5.26 4.55 6/544 1179150
/proc/meminfo: memFree=27401376/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1216.57 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2119 0 0 0 121656 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1216.57 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1302.3 s]
/proc/loadavg: 5.11 5.22 4.59 6/544 1179160
/proc/meminfo: memFree=27401644/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1275.36 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2120 0 0 0 127535 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1275.36 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1362.3 s]
/proc/loadavg: 5.04 5.18 4.62 6/544 1179169
/proc/meminfo: memFree=27401460/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1334.16 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2121 0 0 0 133415 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1334.16 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1422.3 s]
/proc/loadavg: 5.01 5.14 4.64 6/544 1179178
/proc/meminfo: memFree=27401432/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1392.96 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2122 0 0 0 139295 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1392.96 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1482.3 s]
/proc/loadavg: 5.17 5.16 4.68 6/543 1179188
/proc/meminfo: memFree=27401456/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1451.75 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2123 0 0 0 145174 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1451.75 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1542.3 s]
/proc/loadavg: 5.06 5.13 4.71 6/543 1179197
/proc/meminfo: memFree=27401552/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1510.55 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2123 0 0 0 151054 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1510.55 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1602.3 s]
/proc/loadavg: 5.08 5.12 4.73 6/543 1179206
/proc/meminfo: memFree=27401568/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1569.35 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2124 0 0 0 156934 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1569.35 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1662.3 s]
/proc/loadavg: 5.10 5.11 4.76 6/543 1179215
/proc/meminfo: memFree=27401480/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1628.14 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2125 0 0 0 162813 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1628.14 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1722.3 s]
/proc/loadavg: 5.04 5.09 4.77 6/543 1179225
/proc/meminfo: memFree=27401308/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1686.94 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2126 0 0 0 168693 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1686.94 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

[startup+1782.3 s]
/proc/loadavg: 5.05 5.08 4.80 6/543 1179234
/proc/meminfo: memFree=27401312/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1745.74 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2127 0 0 0 174573 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1745.74 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 5.03 5.08 4.80 6/544 1179236
/proc/meminfo: memFree=27401468/32713960 swapFree=33554428/33554428
[pid=1178888] ppid=1178884 vsize=39968 memory=14432 CPUtime=1763.1 cores=4
/proc/1178888/stat : 1178888 (pigeonPur.py) R 1178884 1178888 1178855 0 -1 4194304 2128 0 0 0 176309 1 0 0 20 0 1 0 340324309 40927232 3608 18446744073709551615 93859987210240 93859987214352 140722208276000 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 2 0 0 93859989314816 93859989315588 93859992121344 140722208276975 140722208277064 140722208277064 140722208280553 0
/proc/1178888/statm: 9992 3608 1540 2 0 2404 0
Current children cumulated CPU time: 1763.1 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14432 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []

[-1, -2, -3] -> []


Detected pigeons:

[startup+1800.09 s]
# the end of solver process 1178888 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1763.1 s, system=0.018879 s

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

Child status: 1
Real time (s): 1800.09
CPU time (s): 1763.12
CPU user time (s): 1763.1
CPU system time (s): 0.018879
CPU usage (%): 97.9459
Max. virtual memory (cumulated for all children) (KiB): 39968
Max. memory (cumulated for all children) (KiB): 14432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.1
system time used= 0.018879
maximum resident set size= 14432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2130
page faults= 0
swaps= 0
block input operations= 64
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 24915


# summary of solver processes directly reported to runsolver:
#   pid: 1178888
#   total CPU time (s): 1763.12
#   total CPU user time (s): 1763.1
#   total CPU system time (s): 0.018879

??? end of timestamper thread
runsolver used 14.2898 second user time and 16.6564 second system time

The end
