runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13258 MiB free)
  memory of node 1: 16087 MiB (13556 MiB free)
  node distances:
     10  21
     21  10

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

running on 1 cores: 4

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


[startup+0.100888 s]*
/proc/loadavg: 0.04 0.01 0.09 8/554 1191166
/proc/meminfo: memFree=27399512/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=43364 memory=16060 CPUtime=0.07 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 2851 0 0 0 7 0 0 0 20 0 1 0 347435193 44404736 4015 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 10841 4015 1513 2 0 3253 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43364 KiB
Current children cumulated memory: 16060 KiB

[startup+0.230888 s]*
/proc/loadavg: 0.04 0.01 0.09 8/554 1191166
/proc/meminfo: memFree=27352204/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=47824 memory=20836 CPUtime=0.18 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4392 0 0 0 17 1 0 0 20 0 1 0 347435193 48971776 5209 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 11956 5209 1513 2 0 4368 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 47824 KiB
Current children cumulated memory: 20836 KiB

[startup+0.326888 s]*
/proc/loadavg: 0.04 0.01 0.09 9/554 1191166
/proc/meminfo: memFree=27336584/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=0.26 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4714 0 0 0 25 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+0.700894 s]
/proc/loadavg: 0.04 0.01 0.09 9/554 1191166
/proc/meminfo: memFree=27324288/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=0.58 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4714 0 0 0 57 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+1.50089 s]
/proc/loadavg: 0.04 0.01 0.09 8/554 1191166
/proc/meminfo: memFree=27321532/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=1.36 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4714 0 0 0 135 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+3.12289 s]
/proc/loadavg: 0.51 0.11 0.12 8/554 1191166
/proc/meminfo: memFree=27321564/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=2.94 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4714 0 0 0 293 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+6.30089 s]
/proc/loadavg: 0.51 0.11 0.12 8/554 1191166
/proc/meminfo: memFree=27321544/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=6.04 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4715 0 0 0 603 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+12.7009 s]
/proc/loadavg: 0.95 0.21 0.15 8/554 1191166
/proc/meminfo: memFree=27321660/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=12.3 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4715 0 0 0 1229 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+25.5009 s]
/proc/loadavg: 2.07 0.49 0.25 8/554 1191166
/proc/meminfo: memFree=27321980/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=24.8 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4716 0 0 0 2479 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+51.1279 s]
/proc/loadavg: 3.62 0.99 0.41 9/554 1191174
/proc/meminfo: memFree=27320140/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=49.82 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4718 0 0 0 4981 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+102.301 s]
/proc/loadavg: 5.12 1.81 0.73 8/554 1191184
/proc/meminfo: memFree=27319712/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=99.8 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4718 0 0 0 9979 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 99.8 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+162.301 s]
/proc/loadavg: 5.85 2.63 1.08 8/554 1191194
/proc/meminfo: memFree=27319660/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=158.39 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4718 0 0 0 15838 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 158.39 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+222.301 s]
/proc/loadavg: 5.95 3.25 1.39 8/554 1191203
/proc/meminfo: memFree=27318176/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=216.97 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 21696 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 216.97 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+282.301 s]
/proc/loadavg: 5.98 3.75 1.68 8/556 1191214
/proc/meminfo: memFree=27318100/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=275.55 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 27554 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 275.55 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+342.301 s]
/proc/loadavg: 6.00 4.16 1.95 8/554 1191224
/proc/meminfo: memFree=27317924/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=334.13 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 33412 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 334.13 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+402.301 s]
/proc/loadavg: 6.00 4.50 2.21 8/555 1191235
/proc/meminfo: memFree=27317936/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=392.72 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 39271 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 392.72 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+462.301 s]
/proc/loadavg: 6.00 4.78 2.45 8/555 1191244
/proc/meminfo: memFree=27317740/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=451.3 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 45129 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 451.3 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+522.301 s]
/proc/loadavg: 6.15 5.03 2.69 8/555 1191253
/proc/meminfo: memFree=27317832/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=509.88 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4719 0 0 0 50987 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 509.88 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+582.301 s]
/proc/loadavg: 6.10 5.23 2.90 8/553 1191263
/proc/meminfo: memFree=27317804/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=568.46 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4720 0 0 0 56845 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 568.46 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+642.301 s]
/proc/loadavg: 6.18 5.41 3.11 8/553 1191272
/proc/meminfo: memFree=27317820/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=627.05 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4720 0 0 0 62704 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 627.05 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+702.301 s]
/proc/loadavg: 6.06 5.52 3.30 8/552 1191281
/proc/meminfo: memFree=27316428/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=685.58 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4720 0 0 0 68557 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 685.58 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+762.301 s]
/proc/loadavg: 6.02 5.61 3.47 8/552 1191291
/proc/meminfo: memFree=27316520/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22156 CPUtime=744.16 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4720 0 0 0 74415 1 0 0 20 0 1 0 347435193 50020352 5539 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5539 1513 2 0 4624 0
Current children cumulated CPU time: 744.16 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22156 KiB

[startup+822.301 s]
/proc/loadavg: 6.01 5.69 3.63 8/553 1191301
/proc/meminfo: memFree=27314336/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22300 CPUtime=802.75 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4751 0 0 0 80274 1 0 0 20 0 1 0 347435193 50020352 5575 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5575 1513 2 0 4624 0
Current children cumulated CPU time: 802.75 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22300 KiB

[startup+882.301 s]
/proc/loadavg: 6.00 5.75 3.78 8/553 1191310
/proc/meminfo: memFree=27314652/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=861.33 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4776 0 0 0 86132 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 861.33 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+942.301 s]
/proc/loadavg: 6.00 5.80 3.92 8/553 1191320
/proc/meminfo: memFree=27314768/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=919.86 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4792 0 0 0 91985 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 919.86 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1002.3 s]
/proc/loadavg: 6.05 5.85 4.06 8/553 1191330
/proc/meminfo: memFree=27314776/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=978.45 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4796 0 0 0 97844 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 978.45 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1062.3 s]
/proc/loadavg: 7.44 6.25 4.31 8/553 1191339
/proc/meminfo: memFree=27314780/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1037.04 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4800 0 0 0 103703 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1037.04 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1122.3 s]
/proc/loadavg: 9.24 6.95 4.67 8/553 1191348
/proc/meminfo: memFree=27314640/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1095.61 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4807 0 0 0 109560 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1095.61 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1182.3 s]
/proc/loadavg: 10.00 7.61 5.04 8/552 1191358
/proc/meminfo: memFree=27314728/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1154.17 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4811 0 0 0 115416 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1154.17 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1242.3 s]
/proc/loadavg: 8.92 7.77 5.27 8/552 1191367
/proc/meminfo: memFree=27314604/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1212.76 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4817 0 0 0 121275 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1212.76 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1302.3 s]
/proc/loadavg: 7.43 7.58 5.36 8/553 1191377
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1271.34 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4822 0 0 0 127133 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1271.34 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1362.3 s]
/proc/loadavg: 6.52 7.29 5.40 8/553 1191387
/proc/meminfo: memFree=27314524/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1329.9 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4826 0 0 0 132989 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1329.9 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1422.3 s]
/proc/loadavg: 6.19 7.05 5.45 8/553 1191396
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1388.46 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4831 0 0 0 138845 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1388.46 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1482.3 s]
/proc/loadavg: 6.07 6.86 5.48 8/553 1191405
/proc/meminfo: memFree=27314508/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1447.05 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4837 0 0 0 144704 1 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1447.05 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1542.3 s]
/proc/loadavg: 6.02 6.70 5.52 8/553 1191415
/proc/meminfo: memFree=27314580/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1505.65 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4842 0 0 0 150563 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1505.65 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1602.3 s]
/proc/loadavg: 6.01 6.57 5.55 8/552 1191425
/proc/meminfo: memFree=27314612/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1564.18 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4847 0 0 0 156416 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1564.18 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1662.3 s]
/proc/loadavg: 6.13 6.51 5.60 8/552 1191434
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1622.76 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4852 0 0 0 162274 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1622.76 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1722.3 s]
/proc/loadavg: 6.29 6.48 5.65 8/552 1191443
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1681.36 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4856 0 0 0 168134 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1681.36 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

[startup+1782.3 s]
/proc/loadavg: 6.10 6.39 5.67 8/553 1191460
/proc/meminfo: memFree=27314428/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1739.92 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4860 0 0 0 173990 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1739.92 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.14 6.38 5.68 9/553 1191461
/proc/meminfo: memFree=27314392/32713960 swapFree=33554428/33554428
[pid=1191147] ppid=1191142 vsize=48848 memory=22404 CPUtime=1757.2 cores=4
/proc/1191147/stat : 1191147 (pigeonPur.py) R 1191142 1191147 1191115 0 -1 4194304 4860 0 0 0 175718 2 0 0 20 0 1 0 347435193 50020352 5601 18446744073709551615 94698112909312 94698112913424 140720765819200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347435195 0 0 94698115013888 94698115014660 94698145292288 140720765825567 140720765825673 140720765825673 140720765829097 0
/proc/1191147/statm: 12212 5601 1513 2 0 4624 0
Current children cumulated CPU time: 1757.2 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22404 KiB

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

Detected pigeons:

[startup+1800.11 s]
# the end of solver process 1191147 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1757.23 s, system=0.025728 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): 1757.26
CPU user time (s): 1757.23
CPU system time (s): 0.025728
CPU usage (%): 97.6192
Max. virtual memory (cumulated for all children) (KiB): 48848
Max. memory (cumulated for all children) (KiB): 22404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.23
system time used= 0.025728
maximum resident set size= 22404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5134
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= 25
involuntary context switches= 24972


# summary of solver processes directly reported to runsolver:
#   pid: 1191147
#   total CPU time (s): 1757.26
#   total CPU user time (s): 1757.23
#   total CPU system time (s): 0.025728

??? end of timestamper thread
runsolver used 15.1233 second user time and 19.9638 second system time

The end
