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 (1725 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/fgpa_routing/c499_gr_2pin_w5.shuffled.cnf 

running on 1 cores: 0

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=339848, runsolver pid=339844
Current StackSize limit: 8192 KiB


[startup+0.100297 s]*
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1736804/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=41260 memory=13744 CPUtime=0.07 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 2237 0 0 0 6 1 0 0 20 0 1 0 182316670 42250240 3436 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 10315 3436 1543 2 0 2724 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41260 KiB
Current children cumulated memory: 13744 KiB

[startup+0.236277 s]*
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1710092/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=46380 memory=19768 CPUtime=0.17 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 3788 0 0 0 16 1 0 0 20 0 1 0 182316670 47493120 4942 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 11595 4942 1543 2 0 4004 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46380 KiB
Current children cumulated memory: 19768 KiB

[startup+0.332274 s]*
/proc/loadavg: 0.00 0.00 0.03 6/472 339856
/proc/meminfo: memFree=1697996/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=48584 memory=21880 CPUtime=0.25 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4273 0 0 0 24 1 0 0 20 0 1 0 182316670 49750016 5470 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12146 5470 1543 2 0 4555 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 48584 KiB
Current children cumulated memory: 21880 KiB

[startup+0.701282 s]
/proc/loadavg: 0.00 0.00 0.03 6/472 339856
/proc/meminfo: memFree=1684640/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=0.54 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4997 0 0 0 53 1 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+1.50128 s]
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1674056/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=1.31 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4997 0 0 0 130 1 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+3.13528 s]
/proc/loadavg: 0.32 0.07 0.05 6/472 339856
/proc/meminfo: memFree=1673552/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=2.89 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 287 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+6.30128 s]
/proc/loadavg: 0.32 0.07 0.05 7/472 339856
/proc/meminfo: memFree=1673424/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=5.97 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 595 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+12.7013 s]
/proc/loadavg: 0.62 0.13 0.07 6/472 339856
/proc/meminfo: memFree=1673172/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=12.17 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 1215 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+25.5013 s]
/proc/loadavg: 1.37 0.32 0.13 6/472 339856
/proc/meminfo: memFree=1673140/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=24.54 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 2452 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+51.1353 s]
/proc/loadavg: 2.27 0.62 0.24 5/464 339866
/proc/meminfo: memFree=1687020/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=49.35 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 4933 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 49.35 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+102.301 s]
/proc/loadavg: 2.68 0.99 0.39 5/464 339875
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=99.03 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 4999 0 0 0 9901 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 99.03 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+162.301 s]
/proc/loadavg: 2.89 1.35 0.55 5/464 339886
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=157.29 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 15727 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 157.29 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+222.301 s]
/proc/loadavg: 2.96 1.66 0.71 5/464 339896
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=215.54 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 21552 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 215.54 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+282.301 s]
/proc/loadavg: 3.10 1.95 0.87 5/465 339907
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=273.79 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 27377 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 273.79 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+342.301 s]
/proc/loadavg: 3.04 2.14 1.01 5/464 339916
/proc/meminfo: memFree=1686484/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=332.04 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 33202 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 332.04 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+402.301 s]
/proc/loadavg: 3.01 2.30 1.13 5/464 339926
/proc/meminfo: memFree=1686480/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=390.3 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 39028 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 390.3 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.43 1.25 5/463 339935
/proc/meminfo: memFree=1686512/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=24784 CPUtime=448.55 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5000 0 0 0 44853 2 0 0 20 0 1 0 182316670 52633600 6196 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6196 1543 2 0 5259 0
Current children cumulated CPU time: 448.55 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 24784 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.54 1.37 5/463 339946
/proc/meminfo: memFree=1683536/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=506.81 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 50679 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 506.81 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+582.301 s]
/proc/loadavg: 3.00 2.62 1.47 5/462 339956
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=565.1 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 56508 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 565.1 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+642.301 s]
/proc/loadavg: 3.00 2.69 1.57 5/462 339965
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=623.39 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 62337 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 623.39 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+702.301 s]
/proc/loadavg: 3.06 2.77 1.67 5/463 339975
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=681.67 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 68165 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 681.67 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+762.301 s]
/proc/loadavg: 4.15 3.09 1.84 5/463 339985
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=739.96 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 73994 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 739.96 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+822.301 s]
/proc/loadavg: 5.69 3.71 2.14 5/462 339995
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=798.25 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 79823 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 798.25 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+882.301 s]
/proc/loadavg: 5.71 4.10 2.37 5/463 340006
/proc/meminfo: memFree=1683060/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=856.53 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 85651 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 856.53 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+942.301 s]
/proc/loadavg: 4.52 4.06 2.47 5/464 340035
/proc/meminfo: memFree=1683424/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=914.77 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 91475 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 914.77 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1002.3 s]
/proc/loadavg: 3.56 3.86 2.51 5/463 340045
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=973.05 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 97303 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 973.05 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1062.3 s]
/proc/loadavg: 3.27 3.73 2.55 5/463 340054
/proc/meminfo: memFree=1683336/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1031.33 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 103131 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1031.33 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1122.3 s]
/proc/loadavg: 3.10 3.60 2.58 5/464 340064
/proc/meminfo: memFree=1683252/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1089.6 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 108958 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1089.6 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1182.3 s]
/proc/loadavg: 3.03 3.48 2.61 5/463 340074
/proc/meminfo: memFree=1683192/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1147.88 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 114786 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1147.88 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1242.3 s]
/proc/loadavg: 3.01 3.39 2.64 5/462 340084
/proc/meminfo: memFree=1683080/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1206.16 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 120614 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1206.16 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.32 2.66 5/462 340093
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1264.44 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 126442 2 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1264.44 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1362.3 s]
/proc/loadavg: 3.13 3.29 2.70 5/462 340103
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1322.73 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 132270 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1322.73 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1422.3 s]
/proc/loadavg: 3.16 3.27 2.73 5/461 340112
/proc/meminfo: memFree=1683044/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1381.02 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 138099 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1381.02 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1482.3 s]
/proc/loadavg: 3.11 3.23 2.75 5/461 340122
/proc/meminfo: memFree=1683016/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1439.3 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 143927 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1439.3 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.19 2.77 5/461 340131
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1497.59 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 149756 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1497.59 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.15 2.79 5/461 340142
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1555.88 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 155585 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1555.88 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1662.3 s]
/proc/loadavg: 3.00 3.12 2.81 5/461 340151
/proc/meminfo: memFree=1683512/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1614.17 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 161414 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1614.17 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1722.3 s]
/proc/loadavg: 3.00 3.10 2.82 5/461 340160
/proc/meminfo: memFree=1683036/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1672.46 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 167243 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1672.46 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

[startup+1782.3 s]
/proc/loadavg: 3.12 3.12 2.85 5/461 340173
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1730.75 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 173072 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1730.75 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.08 3.11 2.85 5/461 340174
/proc/meminfo: memFree=1683340/3717660 swapFree=8388604/8388604
[pid=339848] ppid=339844 vsize=51400 memory=26164 CPUtime=1747.96 cores=0
/proc/339848/stat : 339848 (pigeonPur.py) R 339844 339848 339814 0 -1 4194304 5006 0 0 0 174793 3 0 0 20 0 1 0 182316670 52633600 6541 18446744073709551615 94652757774336 94652757778448 140724019865760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 182316673 0 0 94652759878912 94652759879684 94652776312832 140724019868193 140724019868298 140724019868298 140724019871721 0
/proc/339848/statm: 12850 6541 1543 2 0 5259 0
Current children cumulated CPU time: 1747.96 s
Current children cumulated vsize: 51400 KiB
Current children cumulated memory: 26164 KiB

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

Detected pigeons:

[startup+1800.11 s]
# the end of solver process 339848 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1747.99 s, system=0.037547 s

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

Child status: 1
Real time (s): 1800.11
CPU time (s): 1748.02
CPU user time (s): 1747.99
CPU system time (s): 0.037547
CPU usage (%): 97.1063
Max. virtual memory (cumulated for all children) (KiB): 51400
Max. memory (cumulated for all children) (KiB): 26164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.99
system time used= 0.037547
maximum resident set size= 26164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 26175


# summary of solver processes directly reported to runsolver:
#   pid: 339848
#   total CPU time (s): 1748.02
#   total CPU user time (s): 1747.99
#   total CPU system time (s): 0.037547

??? end of timestamper thread
runsolver used 16.7271 second user time and 25.924 second system time

The end
