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

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

running on 1 cores: 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=1178924, runsolver pid=1178923
Current StackSize limit: 8192 KiB


[startup+0.100233 s]*
/proc/loadavg: 0.00 0.04 1.13 12/571 1178925
/proc/meminfo: memFree=27408080/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=42840 memory=16060 CPUtime=0.08 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 2823 0 0 0 8 0 0 0 20 0 1 0 340324315 43868160 4015 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 10710 4015 1518 2 0 3122 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 16060 KiB

[startup+0.230232 s]*
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27402244/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=44696 memory=17908 CPUtime=0.19 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3296 0 0 0 19 0 0 0 20 0 1 0 340324315 45768704 4477 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11174 4477 1518 2 0 3586 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17908 KiB

[startup+0.321245 s]*
/proc/loadavg: 0.00 0.04 1.13 12/571 1178925
/proc/meminfo: memFree=27401168/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=44696 memory=17908 CPUtime=0.26 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3297 0 0 0 26 0 0 0 20 0 1 0 340324315 45768704 4477 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11174 4477 1518 2 0 3586 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17908 KiB

[startup+0.706234 s]
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27399028/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=44696 memory=17908 CPUtime=0.59 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3298 0 0 0 59 0 0 0 20 0 1 0 340324315 45768704 4477 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11174 4477 1518 2 0 3586 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17908 KiB

[startup+1.50124 s]
/proc/loadavg: 0.00 0.04 1.13 13/571 1178925
/proc/meminfo: memFree=27397652/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=44696 memory=17908 CPUtime=1.36 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3302 0 0 0 136 0 0 0 20 0 1 0 340324315 45768704 4477 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11174 4477 1518 2 0 3586 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17908 KiB

[startup+3.12124 s]
/proc/loadavg: 0.64 0.17 1.17 11/571 1178925
/proc/meminfo: memFree=27396888/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=44952 memory=17908 CPUtime=2.94 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3308 0 0 0 294 0 0 0 20 0 1 0 340324315 46030848 4477 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11238 4477 1518 2 0 3650 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 44952 KiB
Current children cumulated memory: 17908 KiB

[startup+6.30124 s]
/proc/loadavg: 0.64 0.17 1.17 12/572 1178926
/proc/meminfo: memFree=27395580/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19228 CPUtime=6.05 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3655 0 0 0 605 0 0 0 20 0 1 0 340324315 47079424 4807 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4807 1518 2 0 3906 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19228 KiB

[startup+12.7012 s]
/proc/loadavg: 1.31 0.32 1.21 11/571 1178926
/proc/meminfo: memFree=27395136/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19228 CPUtime=12.31 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3655 0 0 0 1231 0 0 0 20 0 1 0 340324315 47079424 4807 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4807 1518 2 0 3906 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19228 KiB

[startup+25.5042 s]
/proc/loadavg: 2.79 0.70 1.32 11/571 1178926
/proc/meminfo: memFree=27394832/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19228 CPUtime=24.82 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3655 0 0 0 2482 0 0 0 20 0 1 0 340324315 47079424 4807 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4807 1518 2 0 3906 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19228 KiB

[startup+51.1222 s]
/proc/loadavg: 4.72 1.32 1.51 11/571 1178935
/proc/meminfo: memFree=27391520/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19228 CPUtime=49.83 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3655 0 0 0 4983 0 0 0 20 0 1 0 340324315 47079424 4807 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4807 1518 2 0 3906 0
Current children cumulated CPU time: 49.83 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19228 KiB

[startup+102.301 s]
/proc/loadavg: 6.22 2.27 1.82 10/563 1178946
/proc/meminfo: memFree=27398976/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19228 CPUtime=99.86 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3657 0 0 0 9986 0 0 0 20 0 1 0 340324315 47079424 4807 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4807 1518 2 0 3906 0
Current children cumulated CPU time: 99.86 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19228 KiB

[startup+162.3 s]
/proc/loadavg: 6.79 3.15 2.16 11/563 1178955
/proc/meminfo: memFree=27390512/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=158.52 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3688 0 0 0 15852 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 158.52 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+222.301 s]
/proc/loadavg: 7.00 3.88 2.47 11/563 1178965
/proc/meminfo: memFree=27388480/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=217.18 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3704 0 0 0 21718 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 217.18 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+282.3 s]
/proc/loadavg: 7.16 4.50 2.77 10/563 1178974
/proc/meminfo: memFree=27388364/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=275.83 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3712 0 0 0 27583 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 275.83 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+342.301 s]
/proc/loadavg: 7.06 4.95 3.04 10/559 1178983
/proc/meminfo: memFree=27388104/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=334.5 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3716 0 0 0 33450 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 334.5 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+402.3 s]
/proc/loadavg: 6.49 5.19 3.24 9/554 1179000
/proc/meminfo: memFree=27388900/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=393.22 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3720 0 0 0 39322 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 393.22 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+462.3 s]
/proc/loadavg: 6.29 5.37 3.43 9/555 1179010
/proc/meminfo: memFree=27388700/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=451.95 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3724 0 0 0 45195 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 451.95 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+522.3 s]
/proc/loadavg: 6.15 5.50 3.60 10/552 1179020
/proc/meminfo: memFree=27391296/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=510.69 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3728 0 0 0 51069 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 510.69 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+582.3 s]
/proc/loadavg: 6.05 5.60 3.75 10/552 1179029
/proc/meminfo: memFree=27391328/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=569.42 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3732 0 0 0 56942 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 569.42 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+642.3 s]
/proc/loadavg: 6.02 5.67 3.90 10/552 1179039
/proc/meminfo: memFree=27391312/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=628.15 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3736 0 0 0 62815 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 628.15 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+702.3 s]
/proc/loadavg: 6.16 5.78 4.05 7/548 1179057
/proc/meminfo: memFree=27397668/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=686.89 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3740 0 0 0 68689 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 686.89 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+762.3 s]
/proc/loadavg: 5.48 5.65 4.11 6/548 1179067
/proc/meminfo: memFree=27397916/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=745.7 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3744 0 0 0 74570 0 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 745.7 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+822.3 s]
/proc/loadavg: 5.17 5.53 4.17 7/548 1179077
/proc/meminfo: memFree=27397776/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=804.53 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3748 0 0 0 80452 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 804.53 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+882.3 s]
/proc/loadavg: 5.06 5.43 4.23 7/545 1179092
/proc/meminfo: memFree=27402892/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=863.35 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3752 0 0 0 86334 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 863.35 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+942.3 s]
/proc/loadavg: 5.13 5.38 4.29 7/545 1179101
/proc/meminfo: memFree=27402912/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=922.16 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3756 0 0 0 92215 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 922.16 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1002.3 s]
/proc/loadavg: 5.13 5.34 4.35 7/545 1179111
/proc/meminfo: memFree=27402252/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=980.98 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3760 0 0 0 98097 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 980.98 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1062.3 s]
/proc/loadavg: 5.19 5.32 4.41 7/544 1179120
/proc/meminfo: memFree=27402208/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1039.81 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3760 0 0 0 103980 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1039.81 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1122.3 s]
/proc/loadavg: 5.23 5.31 4.46 8/543 1179130
/proc/meminfo: memFree=27402124/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1098.63 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3764 0 0 0 109862 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1098.63 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1182.3 s]
/proc/loadavg: 5.25 5.29 4.51 7/544 1179140
/proc/meminfo: memFree=27402080/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1157.45 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3768 0 0 0 115744 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1157.45 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1242.3 s]
/proc/loadavg: 5.16 5.26 4.55 8/544 1179150
/proc/meminfo: memFree=27401376/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1216.28 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3772 0 0 0 121627 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1216.28 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1302.3 s]
/proc/loadavg: 5.11 5.22 4.59 7/544 1179160
/proc/meminfo: memFree=27401644/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1275.1 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3776 0 0 0 127509 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1275.1 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1362.3 s]
/proc/loadavg: 5.04 5.18 4.62 7/544 1179169
/proc/meminfo: memFree=27401460/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1333.92 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3781 0 0 0 133391 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1333.92 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1422.3 s]
/proc/loadavg: 5.01 5.14 4.64 8/544 1179178
/proc/meminfo: memFree=27401432/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1392.75 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3785 0 0 0 139274 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1392.75 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1482.3 s]
/proc/loadavg: 5.17 5.16 4.68 7/543 1179188
/proc/meminfo: memFree=27401456/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1451.58 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3789 0 0 0 145157 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1451.58 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1542.3 s]
/proc/loadavg: 5.06 5.13 4.71 7/543 1179197
/proc/meminfo: memFree=27401552/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1510.4 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3793 0 0 0 151039 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1510.4 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 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=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1569.22 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3797 0 0 0 156921 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1569.22 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1662.3 s]
/proc/loadavg: 5.10 5.11 4.76 7/543 1179215
/proc/meminfo: memFree=27401480/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1628.05 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3801 0 0 0 162804 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1628.05 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1722.3 s]
/proc/loadavg: 5.04 5.09 4.77 7/543 1179225
/proc/meminfo: memFree=27401308/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19432 CPUtime=1686.88 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3805 0 0 0 168687 1 0 0 20 0 1 0 340324315 47079424 4858 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4858 1518 2 0 3906 0
Current children cumulated CPU time: 1686.88 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19432 KiB

[startup+1782.3 s]
/proc/loadavg: 5.05 5.08 4.80 7/543 1179234
/proc/meminfo: memFree=27401312/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19436 CPUtime=1745.7 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3809 0 0 0 174569 1 0 0 20 0 1 0 340324315 47079424 4859 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4859 1518 2 0 3906 0
Current children cumulated CPU time: 1745.7 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19436 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=27428968/32713960 swapFree=33554428/33554428
[pid=1178924] ppid=1178923 vsize=45976 memory=19436 CPUtime=1763.07 cores=7
/proc/1178924/stat : 1178924 (pigeonPur.py) R 1178923 1178924 1178907 0 -1 4194304 3813 0 0 0 176306 1 0 0 20 0 1 0 340324315 47079424 4859 18446744073709551615 94550511255552 94550511259664 140722436601696 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94550513360128 94550513360900 94550537822208 140722436608495 140722436608584 140722436608584 140722436612073 0
/proc/1178924/statm: 11494 4859 1518 2 0 3906 0
Current children cumulated CPU time: 1763.07 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 19436 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 1178924 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1763.07 s, system=0.012891 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1763.08
CPU user time (s): 1763.07
CPU system time (s): 0.012891
CPU usage (%): 97.947
Max. virtual memory (cumulated for all children) (KiB): 45976
Max. memory (cumulated for all children) (KiB): 19436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.07
system time used= 0.012891
maximum resident set size= 19436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3815
page faults= 0
swaps= 0
block input operations= 464
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 26329


# summary of solver processes directly reported to runsolver:
#   pid: 1178924
#   total CPU time (s): 1763.08
#   total CPU user time (s): 1763.07
#   total CPU system time (s): 0.012891

??? end of timestamper thread
runsolver used 13.7371 second user time and 17.2035 second system time

The end
