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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net70-25-1.shuffled.cnf 

running on 1 cores: 1

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


[startup+0.10786 s]*
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27377792/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=41096 memory=14428 CPUtime=0.07 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2400 0 0 0 7 0 0 0 20 0 1 0 347654735 42082304 3607 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10274 3607 1539 2 0 2686 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 14428 KiB

[startup+0.219866 s]*
/proc/loadavg: 0.01 1.69 3.70 13/570 1191623
/proc/meminfo: memFree=27349964/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=0.16 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2759 0 0 0 16 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+0.325864 s]*
/proc/loadavg: 0.01 1.69 3.70 13/570 1191623
/proc/meminfo: memFree=27343212/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=0.26 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2759 0 0 0 26 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+0.700865 s]
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=0.56 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2759 0 0 0 56 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+1.50086 s]
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=1.34 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2759 0 0 0 134 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+3.12386 s]
/proc/loadavg: 0.65 1.79 3.72 12/570 1191623
/proc/meminfo: memFree=27340612/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=2.91 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2760 0 0 0 291 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+6.30086 s]
/proc/loadavg: 0.65 1.79 3.72 10/570 1191623
/proc/meminfo: memFree=27340588/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=6.01 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2761 0 0 0 601 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+12.7099 s]
/proc/loadavg: 1.32 1.91 3.75 14/570 1191631
/proc/meminfo: memFree=27340148/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=12.27 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2761 0 0 0 1227 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+25.5009 s]
/proc/loadavg: 2.87 2.23 3.83 14/570 1191632
/proc/meminfo: memFree=27340920/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15728 CPUtime=24.73 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2761 0 0 0 2473 0 0 0 20 0 1 0 347654735 43393024 3932 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3932 1539 2 0 3006 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15728 KiB

[startup+51.1319 s]
/proc/loadavg: 4.84 2.74 3.95 13/570 1191632
/proc/meminfo: memFree=27329384/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15824 CPUtime=49.7 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2765 0 0 0 4970 0 0 0 20 0 1 0 347654735 43393024 3956 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3956 1539 2 0 3006 0
Current children cumulated CPU time: 49.7 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15824 KiB

[startup+102.301 s]
/proc/loadavg: 6.83 3.62 4.19 10/570 1191641
/proc/meminfo: memFree=27328852/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15824 CPUtime=99.56 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2781 0 0 0 9956 0 0 0 20 0 1 0 347654735 43393024 3956 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3956 1539 2 0 3006 0
Current children cumulated CPU time: 99.56 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15824 KiB

[startup+162.301 s]
/proc/loadavg: 7.65 4.44 4.44 12/570 1191650
/proc/meminfo: memFree=27328560/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15824 CPUtime=158.01 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2785 0 0 0 15801 0 0 0 20 0 1 0 347654735 43393024 3956 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3956 1539 2 0 3006 0
Current children cumulated CPU time: 158.01 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15824 KiB

[startup+222.301 s]
/proc/loadavg: 7.97 5.12 4.68 13/570 1191661
/proc/meminfo: memFree=27326876/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15824 CPUtime=216.48 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2789 0 0 0 21648 0 0 0 20 0 1 0 347654735 43393024 3956 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3956 1539 2 0 3006 0
Current children cumulated CPU time: 216.48 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15824 KiB

[startup+282.301 s]
/proc/loadavg: 8.08 5.68 4.90 12/569 1191670
/proc/meminfo: memFree=27327012/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15824 CPUtime=274.96 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2791 0 0 0 27496 0 0 0 20 0 1 0 347654735 43393024 3956 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3956 1539 2 0 3006 0
Current children cumulated CPU time: 274.96 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15824 KiB

[startup+342.304 s]
/proc/loadavg: 8.35 6.18 5.12 12/567 1191679
/proc/meminfo: memFree=27326356/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=333.46 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2793 0 0 0 33346 0 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 333.46 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+402.301 s]
/proc/loadavg: 8.38 6.59 5.33 12/567 1191689
/proc/meminfo: memFree=27326164/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=391.95 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2795 0 0 0 39194 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 391.95 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+462.304 s]
/proc/loadavg: 8.40 6.94 5.53 13/567 1191698
/proc/meminfo: memFree=27325704/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=450.43 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2797 0 0 0 45042 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 450.43 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+522.301 s]
/proc/loadavg: 8.52 7.24 5.72 12/568 1191709
/proc/meminfo: memFree=27325656/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=508.86 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2799 0 0 0 50885 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 508.86 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+582.301 s]
/proc/loadavg: 8.57 7.49 5.91 12/568 1191719
/proc/meminfo: memFree=27325524/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=567.33 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2801 0 0 0 56732 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 567.33 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+642.301 s]
/proc/loadavg: 8.59 7.69 6.08 12/568 1191728
/proc/meminfo: memFree=27325448/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=625.77 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2803 0 0 0 62576 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 625.77 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+702.306 s]
/proc/loadavg: 8.78 7.93 6.26 12/569 1191749
/proc/meminfo: memFree=27323280/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=684.24 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2805 0 0 0 68423 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 684.24 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+762.305 s]
/proc/loadavg: 8.44 7.99 6.39 12/569 1191758
/proc/meminfo: memFree=27324228/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=742.63 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2807 0 0 0 74262 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 742.63 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+822.301 s]
/proc/loadavg: 8.51 8.07 6.52 12/569 1191768
/proc/meminfo: memFree=27324024/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=801.1 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2809 0 0 0 80109 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 801.1 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+882.304 s]
/proc/loadavg: 10.16 8.62 6.81 12/568 1191777
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=859.58 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2811 0 0 0 85957 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 859.58 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+942.301 s]
/proc/loadavg: 11.38 9.23 7.13 12/568 1191786
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=918.03 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2813 0 0 0 91802 1 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 918.03 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1002.3 s]
/proc/loadavg: 11.73 9.70 7.42 12/567 1191796
/proc/meminfo: memFree=27324148/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=976.5 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2815 0 0 0 97648 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 976.5 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1062.3 s]
/proc/loadavg: 12.00 10.16 7.73 12/567 1191805
/proc/meminfo: memFree=27324040/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1034.92 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2817 0 0 0 103490 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1034.92 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1122.3 s]
/proc/loadavg: 11.83 10.47 7.99 13/569 1191827
/proc/meminfo: memFree=27323612/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1093.41 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2819 0 0 0 109339 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1093.41 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1182.3 s]
/proc/loadavg: 10.24 10.28 8.08 13/570 1191838
/proc/meminfo: memFree=27323860/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1151.84 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2821 0 0 0 115182 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1151.84 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1242.3 s]
/proc/loadavg: 9.27 10.01 8.13 12/571 1191848
/proc/meminfo: memFree=27323608/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1210.3 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2823 0 0 0 121028 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1210.3 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1302.3 s]
/proc/loadavg: 8.73 9.72 8.15 12/571 1191857
/proc/meminfo: memFree=27323740/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1268.73 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2825 0 0 0 126871 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1268.73 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1362.3 s]
/proc/loadavg: 8.42 9.45 8.15 13/571 1191866
/proc/meminfo: memFree=27323632/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1327.08 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2827 0 0 0 132706 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1327.08 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1422.3 s]
/proc/loadavg: 8.20 9.20 8.15 13/569 1191876
/proc/meminfo: memFree=27323752/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1385.56 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2829 0 0 0 138554 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1385.56 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1482.3 s]
/proc/loadavg: 8.53 9.10 8.18 12/568 1191885
/proc/meminfo: memFree=27323604/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1444.04 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2831 0 0 0 144402 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1444.04 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1542.3 s]
/proc/loadavg: 8.36 8.94 8.18 12/568 1191894
/proc/meminfo: memFree=27323996/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1502.51 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2831 0 0 0 150249 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1502.51 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1602.3 s]
/proc/loadavg: 8.43 8.86 8.20 12/567 1191912
/proc/meminfo: memFree=27323776/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1560.95 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2833 0 0 0 156093 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1560.95 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1662.3 s]
/proc/loadavg: 8.55 8.81 8.23 12/567 1191921
/proc/meminfo: memFree=27323792/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1619.41 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2835 0 0 0 161939 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1619.41 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1722.3 s]
/proc/loadavg: 8.45 8.74 8.24 12/567 1191931
/proc/meminfo: memFree=27323156/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1677.89 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2837 0 0 0 167787 2 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1677.89 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

[startup+1782.3 s]
/proc/loadavg: 8.48 8.69 8.25 13/567 1191941
/proc/meminfo: memFree=27323812/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1736.38 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2839 0 0 0 173635 3 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1736.38 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.41 8.66 8.25 12/567 1191942
/proc/meminfo: memFree=27323724/32713960 swapFree=33554428/33554428
[pid=1191608] ppid=1191605 vsize=42376 memory=15964 CPUtime=1753.66 cores=1
/proc/1191608/stat : 1191608 (pigeonPur.py) R 1191605 1191608 1191568 0 -1 4194304 2841 0 0 0 175363 3 0 0 20 0 1 0 347654735 43393024 3991 18446744073709551615 94192319385600 94192319389712 140734917568688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94192321490176 94192321490948 94192329359360 140734917575150 140734917575251 140734917575251 140734917578729 0
/proc/1191608/statm: 10594 3991 1539 2 0 3006 0
Current children cumulated CPU time: 1753.66 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 15964 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 1191608 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1753.66 s, system=0.031681 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1753.69
CPU user time (s): 1753.66
CPU system time (s): 0.031681
CPU usage (%): 97.4231
Max. virtual memory (cumulated for all children) (KiB): 42376
Max. memory (cumulated for all children) (KiB): 15964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.66
system time used= 0.031681
maximum resident set size= 15964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2843
page faults= 0
swaps= 0
block input operations= 288
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 138890


# summary of solver processes directly reported to runsolver:
#   pid: 1191608
#   total CPU time (s): 1753.69
#   total CPU user time (s): 1753.66
#   total CPU system time (s): 0.031681

??? end of timestamper thread
runsolver used 16.1815 second user time and 21.0485 second system time

The end
