runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1710 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/velev/fvp-unsat.shuffled.cnf 

running on 1 cores: 0

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


[startup+0.104903 s]*
/proc/loadavg: 0.00 0.21 1.52 2/432 344881
/proc/meminfo: memFree=1722624/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=60220 memory=31984 CPUtime=0.08 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 6918 0 0 0 6 2 0 0 20 0 1 0 182557853 61665280 7996 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 15055 7996 1429 2 0 7464 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60220 KiB
Current children cumulated memory: 31984 KiB

[startup+0.230702 s]*
/proc/loadavg: 0.00 0.21 1.52 2/432 344881
/proc/meminfo: memFree=1676428/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=96636 memory=68060 CPUtime=0.18 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 1077936128 15922 0 0 0 12 6 0 0 20 0 1 0 182557853 98955264 17015 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 24159 17015 1429 2 0 16568 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 96636 KiB
Current children cumulated memory: 68060 KiB

[startup+0.33018 s]*
/proc/loadavg: 0.00 0.21 1.52 2/432 344881
/proc/meminfo: memFree=1672404/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=98684 memory=70348 CPUtime=0.26 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 16512 0 0 0 19 7 0 0 20 0 1 0 182557853 101052416 17587 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 24671 17587 1461 2 0 17080 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 98684 KiB
Current children cumulated memory: 70348 KiB

[startup+0.701185 s]
/proc/loadavg: 0.00 0.21 1.52 2/432 344881
/proc/meminfo: memFree=1661820/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=115324 memory=87840 CPUtime=0.57 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 20933 0 0 0 50 7 0 0 20 0 1 0 182557853 118091776 21960 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 28831 21960 1461 2 0 21240 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 115324 KiB
Current children cumulated memory: 87840 KiB

[startup+1.50119 s]
/proc/loadavg: 0.00 0.21 1.52 2/432 344881
/proc/meminfo: memFree=1636620/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=157076 memory=129472 CPUtime=1.34 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 31498 0 0 0 124 10 0 0 20 0 1 0 182557853 160845824 32368 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 39269 32368 1461 2 0 31678 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 157076 KiB
Current children cumulated memory: 129472 KiB

[startup+3.12619 s]
/proc/loadavg: 0.08 0.22 1.52 2/432 344881
/proc/meminfo: memFree=1540804/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=236084 memory=208724 CPUtime=2.92 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 51583 0 0 0 275 17 0 0 20 0 1 0 182557853 241750016 52181 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 59021 52181 1461 2 0 51430 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 236084 KiB
Current children cumulated memory: 208724 KiB

[startup+6.30119 s]
/proc/loadavg: 0.08 0.22 1.52 2/432 344881
/proc/meminfo: memFree=1433824/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=343364 memory=315588 CPUtime=6.01 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 74656 0 0 0 576 25 0 0 20 0 1 0 182557853 351604736 78897 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 85841 78897 1477 2 0 78250 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 343364 KiB
Current children cumulated memory: 315588 KiB

[startup+12.7012 s]
/proc/loadavg: 0.22 0.25 1.51 2/432 344881
/proc/meminfo: memFree=1387364/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=410792 memory=382968 CPUtime=12.26 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 95330 0 0 0 1194 32 0 0 20 0 1 0 182557853 420651008 95742 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 102698 95742 1477 2 0 95107 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 410792 KiB
Current children cumulated memory: 382968 KiB

[startup+25.5012 s]
/proc/loadavg: 0.34 0.27 1.51 2/432 344881
/proc/meminfo: memFree=1305492/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=24.75 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105269 0 0 0 2440 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+51.1322 s]
/proc/loadavg: 0.57 0.33 1.49 2/432 344890
/proc/meminfo: memFree=1304508/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=49.74 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105269 0 0 0 4939 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+102.301 s]
/proc/loadavg: 0.86 0.46 1.47 2/432 344899
/proc/meminfo: memFree=1304536/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=99.67 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105269 0 0 0 9932 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 99.67 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+162.301 s]
/proc/loadavg: 0.95 0.56 1.43 2/432 344908
/proc/meminfo: memFree=1304168/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=158.22 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 15787 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 158.22 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+222.301 s]
/proc/loadavg: 0.98 0.64 1.41 2/432 344918
/proc/meminfo: memFree=1303664/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=216.75 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 21640 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 216.75 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+282.301 s]
/proc/loadavg: 1.06 0.73 1.38 2/433 344931
/proc/meminfo: memFree=1303440/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=275.28 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 27493 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 275.28 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+342.301 s]
/proc/loadavg: 1.02 0.78 1.35 2/432 344940
/proc/meminfo: memFree=1303496/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=333.81 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 33346 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 333.81 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+402.301 s]
/proc/loadavg: 1.00 0.82 1.33 2/433 344951
/proc/meminfo: memFree=1303216/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=392.34 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 39199 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 392.34 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+462.301 s]
/proc/loadavg: 1.00 0.86 1.31 2/433 344960
/proc/meminfo: memFree=1303184/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=450.86 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 45051 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 450.86 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+522.301 s]
/proc/loadavg: 1.08 0.92 1.30 2/433 344969
/proc/meminfo: memFree=1303152/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=509.38 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 50903 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 509.38 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+582.301 s]
/proc/loadavg: 1.03 0.93 1.27 2/431 344979
/proc/meminfo: memFree=1302916/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=567.91 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 56756 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 567.91 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+642.301 s]
/proc/loadavg: 1.01 0.95 1.25 2/433 344991
/proc/meminfo: memFree=1302944/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=626.43 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 62608 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 626.43 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+702.301 s]
/proc/loadavg: 1.00 0.96 1.24 2/432 345000
/proc/meminfo: memFree=1302916/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=684.96 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 68461 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 684.96 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+762.301 s]
/proc/loadavg: 1.00 0.97 1.22 2/433 345010
/proc/meminfo: memFree=1302916/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=743.49 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 74314 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 743.49 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+822.301 s]
/proc/loadavg: 1.00 0.98 1.20 2/433 345020
/proc/meminfo: memFree=1302664/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437148 CPUtime=802.02 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105270 0 0 0 80167 35 0 0 20 0 1 0 182557853 476430336 109287 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109287 1477 2 0 108725 0
Current children cumulated CPU time: 802.02 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437148 KiB

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 1.18 2/433 345031
/proc/meminfo: memFree=1301764/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=860.53 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105284 0 0 0 86018 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 860.53 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 1.17 2/431 345043
/proc/meminfo: memFree=1301964/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=919.06 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105285 0 0 0 91871 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 919.06 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1002.3 s]
/proc/loadavg: 1.06 1.01 1.17 2/432 345053
/proc/meminfo: memFree=1302004/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=977.59 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105287 0 0 0 97724 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 977.59 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1062.3 s]
/proc/loadavg: 1.02 1.00 1.15 2/431 345062
/proc/meminfo: memFree=1302016/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1036.12 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 103577 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1036.12 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.14 2/431 345072
/proc/meminfo: memFree=1301984/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1094.67 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 109432 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1094.67 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/431 345081
/proc/meminfo: memFree=1301984/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1153.22 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 115287 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1153.22 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/431 345091
/proc/meminfo: memFree=1301732/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1211.75 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 121140 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1211.75 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/431 345102
/proc/meminfo: memFree=1301952/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1270.28 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 126993 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1270.28 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/432 345112
/proc/meminfo: memFree=1301700/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1328.82 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 132847 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1328.82 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/432 345121
/proc/meminfo: memFree=1301920/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1387.35 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 138700 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1387.35 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/432 345131
/proc/meminfo: memFree=1301636/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1445.88 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 144553 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1445.88 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.08 2/431 345141
/proc/meminfo: memFree=1301888/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1504.4 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 150405 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1504.4 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.08 2/432 345151
/proc/meminfo: memFree=1301636/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1562.93 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 156258 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1562.93 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/431 345172
/proc/meminfo: memFree=1301604/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1621.46 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 162111 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1621.46 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/432 345183
/proc/meminfo: memFree=1301572/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1679.98 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 167963 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1679.98 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/432 345192
/proc/meminfo: memFree=1302044/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1738.51 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 173816 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1738.51 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 1.06 2/433 345194
/proc/meminfo: memFree=1301792/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=465264 memory=437636 CPUtime=1755.8 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 175545 35 0 0 20 0 1 0 182557853 476430336 109409 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 116316 109409 1477 2 0 108725 0
Current children cumulated CPU time: 1755.8 s
Current children cumulated vsize: 465264 KiB
Current children cumulated memory: 437636 KiB

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

Detected pigeons:

[startup+1800.74 s]
# the end of solver process 344879 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.1 s, system=0.394489 s

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

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/433 345194
/proc/meminfo: memFree=1301792/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=301848 memory=274300 CPUtime=1756.17 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 175580 37 0 0 20 0 1 0 182557853 309092352 68575 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 0 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 75462 68575 1477 2 0 67871 0
Current children cumulated CPU time: 1756.17 s
Current children cumulated vsize: 301848 KiB
Current children cumulated memory: 274300 KiB

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/433 345194
/proc/meminfo: memFree=1301792/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=301848 memory=274300 CPUtime=1756.36 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 175599 37 0 0 20 0 1 0 182557853 309092352 68575 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 0 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 75462 68575 1477 2 0 67871 0
Current children cumulated CPU time: 1756.36 s
Current children cumulated vsize: 301848 KiB
Current children cumulated memory: 274300 KiB

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/433 345194
/proc/meminfo: memFree=1301792/3726824 swapFree=8388604/8388604
[pid=344879] ppid=344878 vsize=135480 memory=108324 CPUtime=1756.46 cores=0
/proc/344879/stat : 344879 (pigeonPur.py) R 344878 344879 344872 0 -1 4194304 105288 0 0 0 175608 38 0 0 20 0 1 0 182557853 138731520 27081 18446744073709551615 93953073852416 93953073856528 140722047502432 0 0 0 0 16781312 0 0 0 0 17 0 0 0 1 0 0 93953075956992 93953075957764 93953079713792 140722047508997 140722047509080 140722047509080 140722047512553 0
/proc/344879/statm: 33870 27081 1477 2 0 26279 0
Current children cumulated CPU time: 1756.46 s
Current children cumulated vsize: 135480 KiB
Current children cumulated memory: 108324 KiB

Child status: 1
Real time (s): 1800.74
CPU time (s): 1756.5
CPU user time (s): 1756.1
CPU system time (s): 0.394489
CPU usage (%): 97.543
Max. virtual memory (cumulated for all children) (KiB): 465264
Max. memory (cumulated for all children) (KiB): 437636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.1
system time used= 0.394489
maximum resident set size= 437636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105290
page faults= 0
swaps= 0
block input operations= 28288
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 26600


# summary of solver processes directly reported to runsolver:
#   pid: 344879
#   total CPU time (s): 1756.5
#   total CPU user time (s): 1756.1
#   total CPU system time (s): 0.394489

??? end of timestamper thread
runsolver used 16.0246 second user time and 21.8625 second system time

The end
