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/c880_gr_rcs_w6.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=339852, runsolver pid=339846
Current StackSize limit: 8192 KiB


[startup+0.101549 s]*
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1736300/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=43000 memory=15240 CPUtime=0.07 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 2644 0 0 0 6 1 0 0 20 0 1 0 182316670 44032000 3810 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 2 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 10750 3810 1535 2 0 3159 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43000 KiB
Current children cumulated memory: 15240 KiB

[startup+0.247546 s]*
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1708580/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=49656 memory=22196 CPUtime=0.17 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 4414 0 0 0 16 1 0 0 20 0 1 0 182316670 50847744 5549 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 2 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 12414 5549 1535 2 0 4823 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 49656 KiB
Current children cumulated memory: 22196 KiB

[startup+0.328545 s]*
/proc/loadavg: 0.00 0.00 0.03 5/472 339856
/proc/meminfo: memFree=1697996/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=53024 memory=26272 CPUtime=0.25 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 5431 0 0 0 23 2 0 0 20 0 1 0 182316670 54296576 6568 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 13256 6568 1535 2 0 5665 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 53024 KiB
Current children cumulated memory: 26272 KiB

[startup+0.704546 s]
/proc/loadavg: 0.00 0.00 0.03 7/472 339856
/proc/meminfo: memFree=1684640/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=58812 memory=32176 CPUtime=0.55 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 7827 0 0 0 52 3 0 0 20 0 1 0 182316670 60223488 8044 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 14703 8044 1535 2 0 7112 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 58812 KiB
Current children cumulated memory: 32176 KiB

[startup+1.50055 s]
/proc/loadavg: 0.00 0.00 0.03 9/472 339856
/proc/meminfo: memFree=1674056/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=1.31 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9093 0 0 0 128 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+3.12855 s]
/proc/loadavg: 0.32 0.07 0.05 9/472 339856
/proc/meminfo: memFree=1673552/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=2.89 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9093 0 0 0 286 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+6.30055 s]
/proc/loadavg: 0.32 0.07 0.05 8/472 339856
/proc/meminfo: memFree=1673424/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=5.98 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9093 0 0 0 595 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+12.7004 s]
/proc/loadavg: 0.62 0.13 0.07 8/472 339856
/proc/meminfo: memFree=1673172/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=12.21 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9096 0 0 0 1218 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+25.5004 s]
/proc/loadavg: 1.37 0.32 0.13 9/472 339856
/proc/meminfo: memFree=1673140/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=24.63 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9096 0 0 0 2460 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 24.63 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+51.1336 s]
/proc/loadavg: 2.27 0.62 0.24 6/464 339866
/proc/meminfo: memFree=1687020/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=49.49 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9097 0 0 0 4946 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 49.49 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+102.301 s]
/proc/loadavg: 2.68 0.99 0.39 6/464 339875
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=99.25 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9097 0 0 0 9922 3 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 99.25 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+162.301 s]
/proc/loadavg: 2.89 1.35 0.55 6/464 339886
/proc/meminfo: memFree=1686988/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=157.62 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9098 0 0 0 15758 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 157.62 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+222.301 s]
/proc/loadavg: 2.96 1.66 0.71 6/464 339896
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=215.97 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9098 0 0 0 21593 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 215.97 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+282.301 s]
/proc/loadavg: 3.10 1.95 0.87 6/465 339907
/proc/meminfo: memFree=1686452/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=274.33 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9098 0 0 0 27429 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 274.33 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+342.301 s]
/proc/loadavg: 3.04 2.14 1.01 6/464 339916
/proc/meminfo: memFree=1686484/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=332.68 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9098 0 0 0 33264 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 332.68 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+402.301 s]
/proc/loadavg: 3.01 2.30 1.13 6/464 339926
/proc/meminfo: memFree=1686480/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=391.03 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9099 0 0 0 39099 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 391.03 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.43 1.25 6/463 339935
/proc/meminfo: memFree=1686512/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=37188 CPUtime=449.39 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9099 0 0 0 44935 4 0 0 20 0 1 0 182316670 65646592 9297 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9297 1535 2 0 8436 0
Current children cumulated CPU time: 449.39 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 37188 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.54 1.37 6/463 339946
/proc/meminfo: memFree=1683536/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=507.74 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 50770 4 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 507.74 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+582.301 s]
/proc/loadavg: 3.00 2.62 1.47 7/462 339956
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=566.05 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 56601 4 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 566.05 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+642.301 s]
/proc/loadavg: 3.00 2.69 1.57 6/462 339965
/proc/meminfo: memFree=1683596/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=624.38 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 62434 4 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 624.38 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+702.301 s]
/proc/loadavg: 3.06 2.77 1.67 6/463 339975
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=682.69 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 68265 4 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 682.69 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+762.301 s]
/proc/loadavg: 4.15 3.09 1.84 6/463 339985
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=741.03 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 74098 5 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 741.03 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+822.301 s]
/proc/loadavg: 5.69 3.71 2.14 6/462 339995
/proc/meminfo: memFree=1683092/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=799.37 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 79932 5 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 799.37 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+882.301 s]
/proc/loadavg: 5.71 4.10 2.37 6/463 340006
/proc/meminfo: memFree=1683060/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=857.68 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 85763 5 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 857.68 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+942.301 s]
/proc/loadavg: 4.52 4.06 2.47 6/464 340035
/proc/meminfo: memFree=1683424/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=915.81 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 91573 8 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 915.81 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1002.3 s]
/proc/loadavg: 3.56 3.86 2.51 6/463 340045
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=974.12 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 97403 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 974.12 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1062.3 s]
/proc/loadavg: 3.27 3.73 2.55 7/463 340054
/proc/meminfo: memFree=1683336/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1032.42 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 103233 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1032.42 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1122.3 s]
/proc/loadavg: 3.10 3.60 2.58 6/464 340064
/proc/meminfo: memFree=1683252/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1090.73 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 109064 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1090.73 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1182.3 s]
/proc/loadavg: 3.03 3.48 2.61 6/463 340074
/proc/meminfo: memFree=1683192/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1149.03 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 114894 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1149.03 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1242.3 s]
/proc/loadavg: 3.01 3.39 2.64 6/462 340084
/proc/meminfo: memFree=1683080/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1207.34 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 120725 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1207.34 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1302.3 s]
/proc/loadavg: 3.00 3.32 2.66 6/462 340093
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1265.65 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 126556 9 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1265.65 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1362.3 s]
/proc/loadavg: 3.13 3.29 2.70 6/462 340103
/proc/meminfo: memFree=1683048/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1323.97 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 132387 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1323.97 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1422.3 s]
/proc/loadavg: 3.16 3.27 2.73 6/461 340112
/proc/meminfo: memFree=1683044/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1382.29 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 138219 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1382.29 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1482.3 s]
/proc/loadavg: 3.11 3.23 2.75 6/461 340122
/proc/meminfo: memFree=1683016/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1440.6 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 144050 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1440.6 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.19 2.77 6/461 340131
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1498.92 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 149882 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1498.92 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.15 2.79 6/461 340142
/proc/meminfo: memFree=1683292/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1557.24 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 155714 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1557.24 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1662.3 s]
/proc/loadavg: 3.00 3.12 2.81 6/461 340151
/proc/meminfo: memFree=1683512/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1615.56 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 161546 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1615.56 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1722.3 s]
/proc/loadavg: 3.00 3.10 2.82 6/461 340160
/proc/meminfo: memFree=1683036/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1673.88 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 167378 10 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1673.88 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

[startup+1782.3 s]
/proc/loadavg: 3.12 3.12 2.85 6/461 340173
/proc/meminfo: memFree=1683368/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1732.21 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 173210 11 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1732.21 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.08 3.11 2.85 6/461 340174
/proc/meminfo: memFree=1683340/3717660 swapFree=8388604/8388604
[pid=339852] ppid=339846 vsize=64108 memory=38316 CPUtime=1749.43 cores=3
/proc/339852/stat : 339852 (pigeonPur.py) R 339846 339852 339835 0 -1 4194304 9107 0 0 0 174932 11 0 0 20 0 1 0 182316670 65646592 9579 18446744073709551615 94223412654080 94223412658192 140731600395856 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 182316674 0 0 94223414758656 94223414759428 94223421755392 140731600400930 140731600401034 140731600401034 140731600404457 0
/proc/339852/statm: 16027 9579 1535 2 0 8436 0
Current children cumulated CPU time: 1749.43 s
Current children cumulated vsize: 64108 KiB
Current children cumulated memory: 38316 KiB

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

Detected pigeons:

[startup+1800.15 s]
# the end of solver process 339852 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1749.43 s, system=0.113847 s

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

[startup+1800.13 s]*
/proc/loadavg: 3.08 3.11 2.85 1/460 340174
/proc/meminfo: memFree=1759928/3717660 swapFree=8388604/8388604
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 1800.15
CPU time (s): 1749.54
CPU user time (s): 1749.43
CPU system time (s): 0.113847
CPU usage (%): 97.1885
Max. virtual memory (cumulated for all children) (KiB): 64108
Max. memory (cumulated for all children) (KiB): 38316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.43
system time used= 0.113847
maximum resident set size= 38316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9109
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= 24
involuntary context switches= 28127


# summary of solver processes directly reported to runsolver:
#   pid: 339852
#   total CPU time (s): 1749.54
#   total CPU user time (s): 1749.43
#   total CPU system time (s): 0.113847

??? end of timestamper thread
runsolver used 16.5547 second user time and 21.9769 second system time

The end
