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: 1
  memory of node 0: 3630 MiB (1721 MiB free)
  node distances:
     10

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

running on 1 cores: 3

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


[startup+0.103425 s]*
/proc/loadavg: 0.06 0.84 1.86 8/472 340286
/proc/meminfo: memFree=1740504/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=40068 memory=12404 CPUtime=0.06 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 1949 0 0 0 5 1 0 0 20 0 1 0 182536208 41029632 3101 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 2 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 10017 3101 1526 2 0 2426 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 40068 KiB
Current children cumulated memory: 12404 KiB

[startup+0.224706 s]*
/proc/loadavg: 0.06 0.84 1.86 8/472 340286
/proc/meminfo: memFree=1722360/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=44980 memory=18036 CPUtime=0.17 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3368 0 0 0 16 1 0 0 20 0 1 0 182536208 46059520 4509 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11245 4509 1526 2 0 3654 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 18036 KiB

[startup+0.34271 s]*
/proc/loadavg: 0.06 0.84 1.86 8/472 340286
/proc/meminfo: memFree=1718832/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=0.25 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3878 0 0 0 24 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+0.700708 s]
/proc/loadavg: 0.06 0.84 1.86 7/472 340286
/proc/meminfo: memFree=1717572/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=0.54 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3879 0 0 0 53 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+1.5007 s]
/proc/loadavg: 0.06 0.84 1.86 9/474 340291
/proc/meminfo: memFree=1716540/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=1.3 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3879 0 0 0 129 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+3.13254 s]
/proc/loadavg: 0.38 0.90 1.87 9/472 340294
/proc/meminfo: memFree=1716572/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=2.88 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3879 0 0 0 287 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+6.30971 s]
/proc/loadavg: 0.38 0.90 1.87 8/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=5.96 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3879 0 0 0 595 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+12.7077 s]
/proc/loadavg: 0.67 0.95 1.88 8/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20128 CPUtime=12.17 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3879 0 0 0 1216 1 0 0 20 0 1 0 182536208 47894528 5032 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5032 1526 2 0 4102 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20128 KiB

[startup+25.5087 s]
/proc/loadavg: 1.41 1.10 1.92 8/470 340296
/proc/meminfo: memFree=1716412/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20300 CPUtime=24.59 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3880 0 0 0 2457 2 0 0 20 0 1 0 182536208 47894528 5075 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5075 1526 2 0 4102 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20300 KiB

[startup+51.1297 s]
/proc/loadavg: 2.29 1.33 1.97 10/470 340296
/proc/meminfo: memFree=1716160/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=46772 memory=20328 CPUtime=49.42 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3893 0 0 0 4940 2 0 0 20 0 1 0 182536208 47894528 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11693 5082 1526 2 0 4102 0
Current children cumulated CPU time: 49.42 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 20328 KiB

[startup+102.301 s]
/proc/loadavg: 3.39 1.78 2.09 8/471 340306
/proc/meminfo: memFree=1715104/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=99.02 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 9900 2 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 99.02 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+162.301 s]
/proc/loadavg: 3.89 2.22 2.22 8/471 340315
/proc/meminfo: memFree=1714568/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=157.03 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 15701 2 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 157.03 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+222.301 s]
/proc/loadavg: 4.15 2.60 2.36 10/471 340325
/proc/meminfo: memFree=1713812/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=215.02 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 21500 2 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 215.02 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+282.301 s]
/proc/loadavg: 4.22 2.91 2.48 8/472 340335
/proc/meminfo: memFree=1714032/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=273.03 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 27301 2 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 273.03 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+342.301 s]
/proc/loadavg: 4.19 3.14 2.59 8/471 340344
/proc/meminfo: memFree=1714064/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=331 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 33098 2 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 331 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+402.301 s]
/proc/loadavg: 5.26 3.61 2.79 9/470 340355
/proc/meminfo: memFree=1713276/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=389.07 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 38904 3 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 389.07 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+462.301 s]
/proc/loadavg: 7.18 4.45 3.12 9/470 340364
/proc/meminfo: memFree=1713496/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=20328 CPUtime=447.07 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3904 0 0 0 44704 3 0 0 20 0 1 0 182536208 48156672 5082 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5082 1526 2 0 4166 0
Current children cumulated CPU time: 447.07 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 20328 KiB

[startup+522.301 s]
/proc/loadavg: 7.97 5.18 3.46 8/470 340374
/proc/meminfo: memFree=1707128/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=505.19 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3907 0 0 0 50516 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 505.19 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+582.301 s]
/proc/loadavg: 6.98 5.46 3.67 8/469 340384
/proc/meminfo: memFree=1707348/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=563.35 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3907 0 0 0 56332 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 563.35 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+642.31 s]
/proc/loadavg: 5.20 5.23 3.71 8/469 340393
/proc/meminfo: memFree=1707600/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=621.57 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3907 0 0 0 62154 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 621.57 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+702.301 s]
/proc/loadavg: 4.62 5.05 3.75 8/469 340413
/proc/meminfo: memFree=1707316/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=679.74 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3907 0 0 0 67971 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 679.74 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+762.302 s]
/proc/loadavg: 4.23 4.86 3.77 9/469 340423
/proc/meminfo: memFree=1707284/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=737.96 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3909 0 0 0 73793 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 737.96 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+822.301 s]
/proc/loadavg: 4.19 4.73 3.79 8/470 340434
/proc/meminfo: memFree=1707032/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=796.08 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3909 0 0 0 79605 3 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 796.08 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+882.303 s]
/proc/loadavg: 4.19 4.63 3.82 8/470 340443
/proc/meminfo: memFree=1706748/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=854.27 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3909 0 0 0 85423 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 854.27 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+942.301 s]
/proc/loadavg: 4.07 4.51 3.83 9/470 340452
/proc/meminfo: memFree=1707252/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=912.33 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3909 0 0 0 91229 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 912.33 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.45 3.85 8/470 340462
/proc/meminfo: memFree=1707220/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=970.48 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3914 0 0 0 97044 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 970.48 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1062.3 s]
/proc/loadavg: 4.67 4.55 3.93 8/470 340472
/proc/meminfo: memFree=1706920/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1028.71 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 102867 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1028.71 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1122.3 s]
/proc/loadavg: 4.42 4.50 3.96 8/469 340482
/proc/meminfo: memFree=1706636/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1086.84 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 108680 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1086.84 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.42 3.97 8/469 340492
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1145.08 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 114504 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1145.08 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1242.3 s]
/proc/loadavg: 4.23 4.39 3.99 8/469 340501
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1203.3 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 120326 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1203.3 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.32 4.00 8/469 340510
/proc/meminfo: memFree=1707140/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1261.49 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 126145 4 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1261.49 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1362.3 s]
/proc/loadavg: 4.19 4.29 4.01 8/468 340519
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1319.71 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 131966 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1319.71 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1422.3 s]
/proc/loadavg: 4.71 4.41 4.07 8/469 340530
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1377.91 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 137786 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1377.91 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1482.3 s]
/proc/loadavg: 4.74 4.47 4.11 8/469 340539
/proc/meminfo: memFree=1706856/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1436.13 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 143608 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1436.13 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1542.3 s]
/proc/loadavg: 4.35 4.41 4.11 8/469 340548
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1494.35 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 149430 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1494.35 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1602.3 s]
/proc/loadavg: 4.18 4.35 4.11 8/469 340562
/proc/meminfo: memFree=1707076/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1552.53 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 155248 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1552.53 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.30 4.10 8/469 340571
/proc/meminfo: memFree=1706540/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1610.65 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 161060 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1610.65 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.26 4.09 9/469 340583
/proc/meminfo: memFree=1706508/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1668.74 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 166869 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1668.74 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.25 4.10 8/470 340594
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1726.95 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 172690 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1726.95 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.12 4.24 4.10 9/470 340595
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340285] ppid=340282 vsize=47028 memory=21940 CPUtime=1744.15 cores=3
/proc/340285/stat : 340285 (pigeonPur.py) R 340282 340285 340266 0 -1 4194304 3915 0 0 0 174410 5 0 0 20 0 1 0 182536208 48156672 5485 18446744073709551615 94544858222592 94544858226704 140729970246128 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94544860327168 94544860327940 94544885354496 140729970250223 140729970250324 140729970250324 140729970253801 0
/proc/340285/statm: 11757 5485 1526 2 0 4166 0
Current children cumulated CPU time: 1744.15 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 21940 KiB

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

Detected pigeons:

[startup+1800.09 s]
# the end of solver process 340285 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.14 s, system=0.060575 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): 1744.2
CPU user time (s): 1744.14
CPU system time (s): 0.060575
CPU usage (%): 96.895
Max. virtual memory (cumulated for all children) (KiB): 47028
Max. memory (cumulated for all children) (KiB): 21940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.14
system time used= 0.060575
maximum resident set size= 21940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3917
page faults= 0
swaps= 0
block input operations= 512
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 58886


# summary of solver processes directly reported to runsolver:
#   pid: 340285
#   total CPU time (s): 1744.2
#   total CPU user time (s): 1744.14
#   total CPU system time (s): 0.060575

??? end of timestamper thread
runsolver used 16.4954 second user time and 23.1904 second system time

The end
