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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/Velev/2pipe_2_ooo.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100159 s]*
/proc/loadavg: 0.05 0.01 0.00 2/425 1227903
/proc/meminfo: memFree=24233484/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=0.11 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2496 0 0 0 11 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+0.225195 s]*
/proc/loadavg: 0.05 0.01 0.00 2/425 1227903
/proc/meminfo: memFree=24233344/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=0.22 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2497 0 0 0 22 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+0.314547 s]*
/proc/loadavg: 0.05 0.01 0.00 2/425 1227903
/proc/meminfo: memFree=24233120/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=0.31 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2497 0 0 0 31 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+0.700362 s]
/proc/loadavg: 0.05 0.01 0.00 2/425 1227903
/proc/meminfo: memFree=24232924/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=0.68 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2497 0 0 0 68 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+1.50036 s]
/proc/loadavg: 0.13 0.03 0.01 2/425 1227903
/proc/meminfo: memFree=24232728/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=1.48 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2497 0 0 0 148 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+3.11303 s]
/proc/loadavg: 0.13 0.03 0.01 2/425 1227911
/proc/meminfo: memFree=24232556/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=3.09 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2498 0 0 0 309 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+6.30034 s]
/proc/loadavg: 0.20 0.05 0.01 2/425 1227912
/proc/meminfo: memFree=24232628/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=6.26 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2499 0 0 0 626 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+12.7003 s]
/proc/loadavg: 0.26 0.06 0.02 2/425 1227912
/proc/meminfo: memFree=24232640/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=12.64 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2499 0 0 0 1264 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+25.5004 s]
/proc/loadavg: 0.38 0.09 0.03 2/425 1227913
/proc/meminfo: memFree=24232708/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14520 CPUtime=25.4 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 2499 0 0 0 2540 0 0 0 20 0 1 0 413770687 40517632 3630 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3630 1541 2 0 2304 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14520 KiB

[startup+51.113 s]
/proc/loadavg: 0.62 0.18 0.06 2/424 1227913
/proc/meminfo: memFree=24232592/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14796 CPUtime=50.93 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 3969 0 0 0 5092 1 0 0 20 0 1 0 413770687 40517632 3699 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3699 1541 2 0 2304 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14796 KiB

[startup+102.3 s]
/proc/loadavg: 0.84 0.31 0.11 2/424 1227922
/proc/meminfo: memFree=24232672/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14796 CPUtime=101.85 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4003 0 0 0 10184 1 0 0 20 0 1 0 413770687 40517632 3699 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3699 1541 2 0 2304 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14796 KiB

[startup+162.3 s]
/proc/loadavg: 0.94 0.44 0.17 2/425 1227932
/proc/meminfo: memFree=24232636/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14796 CPUtime=161.54 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4008 0 0 0 16153 1 0 0 20 0 1 0 413770687 40517632 3699 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3699 1541 2 0 2304 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14796 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.54 0.23 2/425 1227942
/proc/meminfo: memFree=24232608/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=221.23 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4049 0 0 0 22122 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.63 0.28 2/425 1227951
/proc/meminfo: memFree=24232372/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=280.92 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4060 0 0 0 28091 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 280.92 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.70 0.33 2/425 1227960
/proc/meminfo: memFree=24232496/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=340.61 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4065 0 0 0 34060 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 340.61 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.76 0.37 2/426 1227970
/proc/meminfo: memFree=24232568/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=400.31 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4101 0 0 0 40030 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 400.31 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.80 0.41 2/425 1227980
/proc/meminfo: memFree=24232588/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=460 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4102 0 0 0 45999 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 460 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.84 0.45 2/425 1227990
/proc/meminfo: memFree=24232620/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=519.69 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4103 0 0 0 51968 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 519.69 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.87 0.49 2/425 1228000
/proc/meminfo: memFree=24232668/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=579.48 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4895 0 0 0 57947 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 579.48 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.90 0.52 2/426 1228011
/proc/meminfo: memFree=24232680/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=639.29 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4918 0 0 0 63928 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 639.29 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+702.3 s]
/proc/loadavg: 1.00 0.92 0.56 2/425 1228020
/proc/meminfo: memFree=24232568/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=699.1 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 4922 0 0 0 69909 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 699.1 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+762.3 s]
/proc/loadavg: 1.00 0.94 0.59 2/426 1228041
/proc/meminfo: memFree=24232376/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=758.91 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5041 0 0 0 75890 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 758.91 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 0.95 0.62 2/426 1228051
/proc/meminfo: memFree=24232624/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=818.71 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5074 0 0 0 81870 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 818.71 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.96 0.64 2/426 1228060
/proc/meminfo: memFree=24232412/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=878.52 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5080 0 0 0 87851 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 878.52 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/425 1228069
/proc/meminfo: memFree=24232420/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=938.33 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5089 0 0 0 93832 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 938.33 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.69 2/425 1228078
/proc/meminfo: memFree=24232396/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=998.06 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5099 0 0 0 99805 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 998.06 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.71 2/424 1228088
/proc/meminfo: memFree=24232424/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1057.75 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5907 0 0 0 105774 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1057.75 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.73 2/426 1228099
/proc/meminfo: memFree=24232544/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1117.44 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5974 0 0 0 111743 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1117.44 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.75 2/426 1228109
/proc/meminfo: memFree=24232512/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1177.23 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 5988 0 0 0 117722 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1177.23 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.77 2/426 1228119
/proc/meminfo: memFree=24232540/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1236.93 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6772 0 0 0 123692 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1236.93 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.79 2/426 1228128
/proc/meminfo: memFree=24232468/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1296.62 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6838 0 0 0 129661 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1296.62 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.81 2/426 1228137
/proc/meminfo: memFree=24232492/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1356.32 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6847 0 0 0 135631 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1356.32 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/424 1228147
/proc/meminfo: memFree=24232424/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1416 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6850 0 0 0 141599 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1416 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/424 1228156
/proc/meminfo: memFree=24232476/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1475.69 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6887 0 0 0 147568 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1475.69 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 0.85 2/425 1228166
/proc/meminfo: memFree=24232444/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1535.38 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6889 0 0 0 153537 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1535.38 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 0.86 2/425 1228175
/proc/meminfo: memFree=24232504/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1595.07 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6897 0 0 0 159506 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1595.07 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/426 1228186
/proc/meminfo: memFree=24232548/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1654.75 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6901 0 0 0 165474 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1654.75 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/426 1228195
/proc/meminfo: memFree=24232560/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1714.45 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 6903 0 0 0 171444 1 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1714.45 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/426 1228205
/proc/meminfo: memFree=24232388/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1774.24 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 8553 0 0 0 177422 2 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1774.24 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.90 2/426 1228205
/proc/meminfo: memFree=24232448/32713960 swapFree=33554428/33554428
[pid=1227902] ppid=1227901 vsize=39568 memory=14800 CPUtime=1791.89 cores=0-7
/proc/1227902/stat : 1227902 (pigeonPur.py) R 1227901 1227902 1224781 34816 1227901 4194304 8575 0 0 0 179187 2 0 0 20 0 1 0 413770687 40517632 3700 18446744073709551615 94420303896576 94420303900688 140735939217376 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94420306001152 94420306001924 94420326256640 140735939220730 140735939220843 140735939220843 140735939223506 0
/proc/1227902/statm: 9892 3700 1541 2 0 2304 0
Current children cumulated CPU time: 1791.89 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14800 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1227902 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1791.88 s, system=0.023866 s

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

Child status: 1
Real time (s): 1800.02
CPU time (s): 1791.91
CPU user time (s): 1791.88
CPU system time (s): 0.023866
CPU usage (%): 99.5493
Max. virtual memory (cumulated for all children) (KiB): 39568
Max. memory (cumulated for all children) (KiB): 14800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.88
system time used= 0.023866
maximum resident set size= 14800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 2242


# summary of solver processes directly reported to runsolver:
#   pid: 1227902
#   total CPU time (s): 1791.91
#   total CPU user time (s): 1791.88
#   total CPU system time (s): 0.023866

??? end of timestamper thread
runsolver used 11.2405 second user time and 14.3494 second system time

The end
