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 (13158 MiB free)
  memory of node 1: 16087 MiB (13645 MiB free)
  node distances:
     10  21
     21  10

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

running on 1 cores: 5

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


[startup+0.101551 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27409760/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=42064 memory=15272 CPUtime=0.08 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 2623 0 0 0 8 0 0 0 20 0 1 0 340324314 43073536 3818 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 10516 3818 1528 2 0 2928 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42064 KiB
Current children cumulated memory: 15272 KiB

[startup+0.223549 s]*
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27402792/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=43100 memory=16420 CPUtime=0.18 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 2961 0 0 0 18 0 0 0 20 0 1 0 340324314 44134400 4105 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 10775 4105 1528 2 0 3187 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 16420 KiB

[startup+0.322549 s]*
/proc/loadavg: 0.00 0.04 1.13 10/571 1178925
/proc/meminfo: memFree=27401168/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=43100 memory=16420 CPUtime=0.26 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 2962 0 0 0 26 0 0 0 20 0 1 0 340324314 44134400 4105 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 10775 4105 1528 2 0 3187 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 16420 KiB

[startup+0.700547 s]
/proc/loadavg: 0.00 0.04 1.13 9/571 1178925
/proc/meminfo: memFree=27399028/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=43100 memory=16420 CPUtime=0.58 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 2965 0 0 0 58 0 0 0 20 0 1 0 340324314 44134400 4105 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 10775 4105 1528 2 0 3187 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 16420 KiB

[startup+1.50055 s]
/proc/loadavg: 0.00 0.04 1.13 9/571 1178925
/proc/meminfo: memFree=27397652/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=43100 memory=16420 CPUtime=1.36 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 2967 0 0 0 136 0 0 0 20 0 1 0 340324314 44134400 4105 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 10775 4105 1528 2 0 3187 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 16420 KiB

[startup+3.12655 s]
/proc/loadavg: 0.64 0.17 1.17 9/571 1178925
/proc/meminfo: memFree=27396888/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=2.94 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3200 0 0 0 294 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+6.30055 s]
/proc/loadavg: 0.64 0.17 1.17 11/572 1178926
/proc/meminfo: memFree=27395580/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=6.05 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3201 0 0 0 605 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+12.7006 s]
/proc/loadavg: 1.31 0.32 1.21 9/571 1178926
/proc/meminfo: memFree=27395136/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=12.31 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3201 0 0 0 1231 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+25.5086 s]
/proc/loadavg: 2.79 0.70 1.32 9/571 1178926
/proc/meminfo: memFree=27394832/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=24.82 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3201 0 0 0 2482 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+51.1226 s]
/proc/loadavg: 4.72 1.32 1.51 9/571 1178935
/proc/meminfo: memFree=27391520/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=49.81 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3202 0 0 0 4981 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 49.81 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+102.301 s]
/proc/loadavg: 6.22 2.27 1.82 8/563 1178946
/proc/meminfo: memFree=27398976/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=17472 CPUtime=99.8 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3203 0 0 0 9980 0 0 0 20 0 1 0 340324314 45182976 4368 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4368 1528 2 0 3443 0
Current children cumulated CPU time: 99.8 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 17472 KiB

[startup+162.31 s]
/proc/loadavg: 6.79 3.15 2.16 8/563 1178955
/proc/meminfo: memFree=27390512/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18260 CPUtime=158.43 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3230 0 0 0 15843 0 0 0 20 0 1 0 340324314 45182976 4565 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4565 1528 2 0 3443 0
Current children cumulated CPU time: 158.43 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18260 KiB

[startup+222.302 s]
/proc/loadavg: 7.00 3.88 2.47 8/563 1178965
/proc/meminfo: memFree=27388480/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=217.05 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3239 0 0 0 21704 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 217.05 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+282.301 s]
/proc/loadavg: 7.16 4.50 2.77 8/563 1178974
/proc/meminfo: memFree=27388364/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=275.67 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3245 0 0 0 27566 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 275.67 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+342.301 s]
/proc/loadavg: 7.06 4.95 3.04 8/559 1178983
/proc/meminfo: memFree=27388104/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=334.3 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3248 0 0 0 33429 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 334.3 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+402.301 s]
/proc/loadavg: 6.49 5.19 3.24 7/554 1179000
/proc/meminfo: memFree=27388900/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=393 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3251 0 0 0 39299 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 393 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+462.301 s]
/proc/loadavg: 6.29 5.37 3.43 7/555 1179010
/proc/meminfo: memFree=27388700/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=451.7 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3254 0 0 0 45169 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 451.7 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+522.31 s]
/proc/loadavg: 6.15 5.50 3.60 7/552 1179020
/proc/meminfo: memFree=27391296/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=510.41 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3257 0 0 0 51040 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 510.41 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+582.301 s]
/proc/loadavg: 6.05 5.60 3.75 7/552 1179029
/proc/meminfo: memFree=27391328/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=569.1 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3260 0 0 0 56909 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 569.1 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+642.302 s]
/proc/loadavg: 6.02 5.67 3.90 7/552 1179039
/proc/meminfo: memFree=27391312/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=627.8 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3263 0 0 0 62779 1 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 627.8 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+702.301 s]
/proc/loadavg: 6.16 5.78 4.05 6/548 1179057
/proc/meminfo: memFree=27397668/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=686.51 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3266 0 0 0 68649 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 686.51 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+762.301 s]
/proc/loadavg: 5.48 5.65 4.11 6/548 1179067
/proc/meminfo: memFree=27397916/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=745.3 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3269 0 0 0 74528 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 745.3 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+822.301 s]
/proc/loadavg: 5.17 5.53 4.17 6/548 1179077
/proc/meminfo: memFree=27397776/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=804.1 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3272 0 0 0 80408 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 804.1 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+882.302 s]
/proc/loadavg: 5.06 5.43 4.23 6/545 1179092
/proc/meminfo: memFree=27402892/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=862.9 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3275 0 0 0 86288 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 862.9 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

[startup+942.302 s]
/proc/loadavg: 5.13 5.38 4.29 6/545 1179101
/proc/meminfo: memFree=27402912/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=921.7 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3278 0 0 0 92168 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 921.7 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=980.49 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3281 0 0 0 98047 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 980.49 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1039.29 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3284 0 0 0 103927 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1039.29 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1098.08 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3287 0 0 0 109806 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1098.08 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1156.88 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3290 0 0 0 115686 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1156.88 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1215.67 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3293 0 0 0 121565 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1215.67 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1274.47 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3296 0 0 0 127445 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1274.47 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1333.27 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3299 0 0 0 133325 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1333.27 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1392.06 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3302 0 0 0 139204 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1392.06 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1450.86 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3305 0 0 0 145084 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1450.86 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1509.65 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3305 0 0 0 150963 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1509.65 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1568.45 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3308 0 0 0 156843 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1568.45 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1627.25 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3311 0 0 0 162723 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1627.25 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1686.05 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3314 0 0 0 168603 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1686.05 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 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=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1744.84 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3317 0 0 0 174482 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1744.84 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 5.03 5.08 4.80 3/544 1179236
/proc/meminfo: memFree=27428900/32713960 swapFree=33554428/33554428
[pid=1178916] ppid=1178915 vsize=44124 memory=18388 CPUtime=1762.2 cores=5
/proc/1178916/stat : 1178916 (pigeonPur.py) R 1178915 1178916 1178896 0 -1 4194304 3320 0 0 0 176218 2 0 0 20 0 1 0 340324314 45182976 4597 18446744073709551615 93843221778432 93843221782544 140734926388656 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93843223883008 93843223883780 93843235868672 140734926393839 140734926393928 140734926393928 140734926397417 0
/proc/1178916/statm: 11031 4597 1528 2 0 3443 0
Current children cumulated CPU time: 1762.2 s
Current children cumulated vsize: 44124 KiB
Current children cumulated memory: 18388 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 1178916 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1762.19 s, system=0.028699 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): 1762.22
CPU user time (s): 1762.19
CPU system time (s): 0.028699
CPU usage (%): 97.8981
Max. virtual memory (cumulated for all children) (KiB): 44124
Max. memory (cumulated for all children) (KiB): 18388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.19
system time used= 0.028699
maximum resident set size= 18388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322
page faults= 0
swaps= 0
block input operations= 360
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 42126


# summary of solver processes directly reported to runsolver:
#   pid: 1178916
#   total CPU time (s): 1762.22
#   total CPU user time (s): 1762.19
#   total CPU system time (s): 0.028699

??? end of timestamper thread
runsolver used 14.1952 second user time and 17.207 second system time

The end
