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

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

running on 1 cores: 6

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


[startup+0.100994 s]*
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27421428/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39044 memory=11880 CPUtime=0.08 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1808 0 0 0 8 0 0 0 20 0 1 0 340324309 39981056 2970 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9761 2970 1516 2 0 2173 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 11880 KiB

[startup+0.230993 s]*
/proc/loadavg: 0.00 0.04 1.13 12/571 1178925
/proc/meminfo: memFree=27403616/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39044 memory=11880 CPUtime=0.18 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1809 0 0 0 18 0 0 0 20 0 1 0 340324309 39981056 2970 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9761 2970 1516 2 0 2173 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 11880 KiB

[startup+0.320994 s]*
/proc/loadavg: 0.00 0.04 1.13 9/571 1178925
/proc/meminfo: memFree=27401984/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39044 memory=11880 CPUtime=0.26 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1811 0 0 0 26 0 0 0 20 0 1 0 340324309 39981056 2970 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9761 2970 1516 2 0 2173 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 11880 KiB

[startup+0.700994 s]
/proc/loadavg: 0.00 0.04 1.13 11/571 1178925
/proc/meminfo: memFree=27399028/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39300 memory=12144 CPUtime=0.57 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1878 0 0 0 57 0 0 0 20 0 1 0 340324309 40243200 3036 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9825 3036 1516 2 0 2237 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39300 KiB
Current children cumulated memory: 12144 KiB

[startup+1.501 s]
/proc/loadavg: 0.00 0.04 1.13 12/571 1178925
/proc/meminfo: memFree=27397652/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=1.35 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1882 0 0 0 135 0 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+3.13046 s]
/proc/loadavg: 0.64 0.17 1.17 11/571 1178925
/proc/meminfo: memFree=27396888/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=2.94 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 294 0 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+6.30099 s]
/proc/loadavg: 0.64 0.17 1.17 12/572 1178926
/proc/meminfo: memFree=27395580/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=6.06 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 605 1 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+12.701 s]
/proc/loadavg: 1.31 0.32 1.21 11/571 1178926
/proc/meminfo: memFree=27395136/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=12.32 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 1231 1 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+25.5085 s]
/proc/loadavg: 2.79 0.70 1.32 11/571 1178926
/proc/meminfo: memFree=27394832/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=24.85 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 2484 1 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+51.126 s]
/proc/loadavg: 4.72 1.32 1.51 11/571 1178935
/proc/meminfo: memFree=27391520/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=49.88 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 4987 1 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 49.88 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+102.301 s]
/proc/loadavg: 6.22 2.27 1.82 9/563 1178946
/proc/meminfo: memFree=27398976/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=39556 memory=12276 CPUtime=99.95 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 1883 0 0 0 9994 1 0 0 20 0 1 0 340324309 40505344 3069 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 9889 3069 1516 2 0 2301 0
Current children cumulated CPU time: 99.95 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 12276 KiB

[startup+162.301 s]
/proc/loadavg: 6.79 3.15 2.16 9/563 1178955
/proc/meminfo: memFree=27390512/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40104 memory=14404 CPUtime=158.67 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2128 0 0 0 15866 1 0 0 20 0 1 0 340324309 41066496 3601 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10026 3601 1516 2 0 2438 0
Current children cumulated CPU time: 158.67 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14404 KiB

[startup+222.301 s]
/proc/loadavg: 7.00 3.88 2.47 9/563 1178965
/proc/meminfo: memFree=27388480/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40104 memory=14404 CPUtime=217.39 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2131 0 0 0 21738 1 0 0 20 0 1 0 340324309 41066496 3601 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10026 3601 1516 2 0 2438 0
Current children cumulated CPU time: 217.39 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14404 KiB

[startup+282.301 s]
/proc/loadavg: 7.16 4.50 2.77 9/563 1178974
/proc/meminfo: memFree=27388364/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40104 memory=14404 CPUtime=276.12 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2133 0 0 0 27611 1 0 0 20 0 1 0 340324309 41066496 3601 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10026 3601 1516 2 0 2438 0
Current children cumulated CPU time: 276.12 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14404 KiB

[startup+342.301 s]
/proc/loadavg: 7.06 4.95 3.04 9/559 1178983
/proc/meminfo: memFree=27388104/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40104 memory=14404 CPUtime=334.86 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2134 0 0 0 33485 1 0 0 20 0 1 0 340324309 41066496 3601 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10026 3601 1516 2 0 2438 0
Current children cumulated CPU time: 334.86 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 14404 KiB

[startup+402.301 s]
/proc/loadavg: 6.49 5.19 3.24 8/554 1179000
/proc/meminfo: memFree=27388900/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40632 memory=15040 CPUtime=393.61 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2314 0 0 0 39360 1 0 0 20 0 1 0 340324309 41607168 3760 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10158 3760 1516 2 0 2570 0
Current children cumulated CPU time: 393.61 s
Current children cumulated vsize: 40632 KiB
Current children cumulated memory: 15040 KiB

[startup+462.301 s]
/proc/loadavg: 6.29 5.37 3.43 8/555 1179010
/proc/meminfo: memFree=27388700/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40632 memory=15040 CPUtime=452.37 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2315 0 0 0 45236 1 0 0 20 0 1 0 340324309 41607168 3760 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10158 3760 1516 2 0 2570 0
Current children cumulated CPU time: 452.37 s
Current children cumulated vsize: 40632 KiB
Current children cumulated memory: 15040 KiB

[startup+522.301 s]
/proc/loadavg: 6.15 5.50 3.60 8/552 1179020
/proc/meminfo: memFree=27391296/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40892 memory=15556 CPUtime=511.14 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2430 0 0 0 51112 2 0 0 20 0 1 0 340324309 41873408 3889 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10223 3889 1516 2 0 2635 0
Current children cumulated CPU time: 511.14 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 15556 KiB

[startup+582.301 s]
/proc/loadavg: 6.05 5.60 3.75 8/552 1179029
/proc/meminfo: memFree=27391328/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40892 memory=15556 CPUtime=569.89 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2431 0 0 0 56987 2 0 0 20 0 1 0 340324309 41873408 3889 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10223 3889 1516 2 0 2635 0
Current children cumulated CPU time: 569.89 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 15556 KiB

[startup+642.301 s]
/proc/loadavg: 6.02 5.67 3.90 8/552 1179039
/proc/meminfo: memFree=27391312/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=40892 memory=15556 CPUtime=628.65 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2432 0 0 0 62863 2 0 0 20 0 1 0 340324309 41873408 3889 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10223 3889 1516 2 0 2635 0
Current children cumulated CPU time: 628.65 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 15556 KiB

[startup+702.301 s]
/proc/loadavg: 6.16 5.78 4.05 7/548 1179057
/proc/meminfo: memFree=27397668/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=41148 memory=16080 CPUtime=687.41 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2521 0 0 0 68739 2 0 0 20 0 1 0 340324309 42135552 4020 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10287 4020 1516 2 0 2699 0
Current children cumulated CPU time: 687.41 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 16080 KiB

[startup+762.301 s]
/proc/loadavg: 5.48 5.65 4.11 7/548 1179067
/proc/meminfo: memFree=27397916/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=41148 memory=16080 CPUtime=746.18 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2522 0 0 0 74616 2 0 0 20 0 1 0 340324309 42135552 4020 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10287 4020 1516 2 0 2699 0
Current children cumulated CPU time: 746.18 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 16080 KiB

[startup+822.301 s]
/proc/loadavg: 5.17 5.53 4.17 7/548 1179077
/proc/meminfo: memFree=27397776/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=41660 memory=16360 CPUtime=804.95 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2605 0 0 0 80493 2 0 0 20 0 1 0 340324309 42659840 4090 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10415 4090 1516 2 0 2827 0
Current children cumulated CPU time: 804.95 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 16360 KiB

[startup+882.301 s]
/proc/loadavg: 5.06 5.43 4.23 7/545 1179092
/proc/meminfo: memFree=27402892/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=41660 memory=16360 CPUtime=863.72 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2606 0 0 0 86370 2 0 0 20 0 1 0 340324309 42659840 4090 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10415 4090 1516 2 0 2827 0
Current children cumulated CPU time: 863.72 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 16360 KiB

[startup+942.301 s]
/proc/loadavg: 5.13 5.38 4.29 7/545 1179101
/proc/meminfo: memFree=27402912/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=41660 memory=16360 CPUtime=922.5 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2607 0 0 0 92248 2 0 0 20 0 1 0 340324309 42659840 4090 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10415 4090 1516 2 0 2827 0
Current children cumulated CPU time: 922.5 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 16360 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=1178891] ppid=1178887 vsize=42348 memory=17140 CPUtime=981.28 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2802 0 0 0 98126 2 0 0 20 0 1 0 340324309 43364352 4285 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10587 4285 1516 2 0 2999 0
Current children cumulated CPU time: 981.28 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 17140 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=1178891] ppid=1178887 vsize=42348 memory=17140 CPUtime=1040.06 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2803 0 0 0 104004 2 0 0 20 0 1 0 340324309 43364352 4285 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10587 4285 1516 2 0 2999 0
Current children cumulated CPU time: 1040.06 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 17140 KiB

[startup+1122.3 s]
/proc/loadavg: 5.23 5.31 4.46 7/543 1179130
/proc/meminfo: memFree=27402124/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=42348 memory=17140 CPUtime=1098.84 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2804 0 0 0 109882 2 0 0 20 0 1 0 340324309 43364352 4285 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10587 4285 1516 2 0 2999 0
Current children cumulated CPU time: 1098.84 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 17140 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=1178891] ppid=1178887 vsize=42348 memory=17140 CPUtime=1157.62 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2805 0 0 0 115760 2 0 0 20 0 1 0 340324309 43364352 4285 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10587 4285 1516 2 0 2999 0
Current children cumulated CPU time: 1157.62 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 17140 KiB

[startup+1242.3 s]
/proc/loadavg: 5.16 5.26 4.55 7/544 1179150
/proc/meminfo: memFree=27401376/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1216.41 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2908 0 0 0 121638 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1216.41 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1275.2 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2909 0 0 0 127517 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1275.2 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1333.98 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2910 0 0 0 133395 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1333.98 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 KiB

[startup+1422.3 s]
/proc/loadavg: 5.01 5.14 4.64 7/544 1179178
/proc/meminfo: memFree=27401432/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1392.76 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2911 0 0 0 139273 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1392.76 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1451.55 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2912 0 0 0 145152 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1451.55 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1510.34 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2913 0 0 0 151031 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1510.34 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 KiB

[startup+1602.3 s]
/proc/loadavg: 5.08 5.12 4.73 7/543 1179206
/proc/meminfo: memFree=27401568/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1569.12 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2915 0 0 0 156909 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1569.12 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1627.91 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2917 0 0 0 162788 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1627.91 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1686.7 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2919 0 0 0 168667 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1686.7 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 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=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1745.48 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2921 0 0 0 174545 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1745.48 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 5.03 5.08 4.80 7/544 1179236
/proc/meminfo: memFree=27401468/32713960 swapFree=33554428/33554428
[pid=1178891] ppid=1178887 vsize=42604 memory=17388 CPUtime=1762.84 cores=6
/proc/1178891/stat : 1178891 (pigeonPur.py) R 1178887 1178891 1178866 0 -1 4194304 2923 0 0 0 176281 3 0 0 20 0 1 0 340324309 43626496 4347 18446744073709551615 94703675023360 94703675027472 140730173450672 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94703677127936 94703677128708 94703697174528 140730173456879 140730173456968 140730173456968 140730173460457 0
/proc/1178891/statm: 10651 4347 1516 2 0 3063 0
Current children cumulated CPU time: 1762.84 s
Current children cumulated vsize: 42604 KiB
Current children cumulated memory: 17388 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []

[-1, -2, -5] -> []

[-1, -2, -5, -6] -> []

[-1, -2, -5, -6, -7] -> []

[-1, -2, -5, -6, -7, -9] -> []

[-1, -2, -5, -6, -7, -9, -10] -> []


Detected pigeons:

[startup+1800.09 s]
# the end of solver process 1178891 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1762.82 s, system=0.033916 s

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

Child status: 1
Real time (s): 1800.09
CPU time (s): 1762.85
CPU user time (s): 1762.82
CPU system time (s): 0.033916
CPU usage (%): 97.9312
Max. virtual memory (cumulated for all children) (KiB): 42604
Max. memory (cumulated for all children) (KiB): 17388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.82
system time used= 0.033916
maximum resident set size= 17388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2925
page faults= 0
swaps= 0
block input operations= 104
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 26122


# summary of solver processes directly reported to runsolver:
#   pid: 1178891
#   total CPU time (s): 1762.85
#   total CPU user time (s): 1762.82
#   total CPU system time (s): 0.033916

??? end of timestamper thread
runsolver used 13.8215 second user time and 16.0574 second system time

The end
