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

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

running on 1 cores: 1

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


[startup+0.10052 s]*
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27393132/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=44388 memory=16888 CPUtime=0.08 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 3073 0 0 0 8 0 0 0 20 0 1 0 347435194 45453312 4222 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 2 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 11097 4222 1527 2 0 3509 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44388 KiB
Current children cumulated memory: 16888 KiB

[startup+0.222519 s]*
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27349408/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=51524 memory=24808 CPUtime=0.17 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 5008 0 0 0 17 0 0 0 20 0 1 0 347435194 52760576 6202 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 12881 6202 1527 2 0 5293 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 51524 KiB
Current children cumulated memory: 24808 KiB

[startup+0.323533 s]*
/proc/loadavg: 0.04 0.01 0.09 10/554 1191166
/proc/meminfo: memFree=27336300/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=53824 memory=27048 CPUtime=0.27 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 5920 0 0 0 26 1 0 0 20 0 1 0 347435194 55115776 6762 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13456 6762 1527 2 0 5868 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 27048 KiB

[startup+0.700519 s]
/proc/loadavg: 0.04 0.01 0.09 10/554 1191166
/proc/meminfo: memFree=27324288/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=0.58 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6250 0 0 0 57 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+1.50052 s]
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27321532/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=1.36 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6250 0 0 0 135 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+3.12552 s]
/proc/loadavg: 0.51 0.11 0.12 13/554 1191166
/proc/meminfo: memFree=27321564/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=2.94 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6250 0 0 0 293 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+6.30052 s]
/proc/loadavg: 0.51 0.11 0.12 12/554 1191166
/proc/meminfo: memFree=27321544/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=6.05 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6250 0 0 0 604 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+12.7005 s]
/proc/loadavg: 0.95 0.21 0.15 12/554 1191166
/proc/meminfo: memFree=27321660/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=12.32 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6252 0 0 0 1231 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+25.5005 s]
/proc/loadavg: 2.07 0.49 0.25 11/554 1191166
/proc/meminfo: memFree=27321980/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=24.83 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6252 0 0 0 2482 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 24.83 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+51.1235 s]
/proc/loadavg: 3.62 0.99 0.41 12/554 1191174
/proc/meminfo: memFree=27320140/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=49.87 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6253 0 0 0 4986 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 49.87 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+102.301 s]
/proc/loadavg: 5.12 1.81 0.73 11/554 1191184
/proc/meminfo: memFree=27319712/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=99.9 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6253 0 0 0 9989 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 99.9 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+162.301 s]
/proc/loadavg: 5.85 2.63 1.08 12/554 1191194
/proc/meminfo: memFree=27319660/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=158.55 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6254 0 0 0 15854 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 158.55 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+222.301 s]
/proc/loadavg: 5.95 3.25 1.39 12/554 1191203
/proc/meminfo: memFree=27318176/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=217.2 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6254 0 0 0 21719 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 217.2 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+282.301 s]
/proc/loadavg: 5.98 3.75 1.68 12/556 1191214
/proc/meminfo: memFree=27318100/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=275.86 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 27585 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 275.86 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+342.301 s]
/proc/loadavg: 6.00 4.16 1.95 12/554 1191224
/proc/meminfo: memFree=27317924/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=334.51 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 33450 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 334.51 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+402.301 s]
/proc/loadavg: 6.00 4.50 2.21 12/555 1191235
/proc/meminfo: memFree=27317936/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=393.16 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 39315 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 393.16 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+462.301 s]
/proc/loadavg: 6.00 4.78 2.45 11/555 1191244
/proc/meminfo: memFree=27317740/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=451.82 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 45181 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 451.82 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+522.301 s]
/proc/loadavg: 6.15 5.03 2.69 12/555 1191253
/proc/meminfo: memFree=27317832/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=510.47 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 51046 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 510.47 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+582.301 s]
/proc/loadavg: 6.10 5.23 2.90 11/553 1191263
/proc/meminfo: memFree=27317804/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=569.13 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 56912 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 569.13 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+642.301 s]
/proc/loadavg: 6.18 5.41 3.11 11/553 1191272
/proc/meminfo: memFree=27317820/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=627.79 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 62778 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 627.79 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+702.301 s]
/proc/loadavg: 6.06 5.52 3.30 11/552 1191281
/proc/meminfo: memFree=27316428/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=686.39 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 68638 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 686.39 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+762.301 s]
/proc/loadavg: 6.02 5.61 3.47 12/552 1191291
/proc/meminfo: memFree=27316520/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28368 CPUtime=745.04 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6255 0 0 0 74503 1 0 0 20 0 1 0 347435194 56365056 7092 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7092 1527 2 0 6173 0
Current children cumulated CPU time: 745.04 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28368 KiB

[startup+822.301 s]
/proc/loadavg: 6.01 5.69 3.63 11/553 1191301
/proc/meminfo: memFree=27314336/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28396 CPUtime=803.71 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6275 0 0 0 80370 1 0 0 20 0 1 0 347435194 56365056 7099 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7099 1527 2 0 6173 0
Current children cumulated CPU time: 803.71 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28396 KiB

[startup+882.301 s]
/proc/loadavg: 6.00 5.75 3.78 12/553 1191310
/proc/meminfo: memFree=27314652/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=862.36 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6299 0 0 0 86235 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 862.36 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+942.301 s]
/proc/loadavg: 6.00 5.80 3.92 11/553 1191320
/proc/meminfo: memFree=27314768/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=920.96 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6311 0 0 0 92095 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 920.96 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1002.3 s]
/proc/loadavg: 6.05 5.85 4.06 11/553 1191330
/proc/meminfo: memFree=27314776/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=979.62 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6323 0 0 0 97961 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 979.62 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1062.3 s]
/proc/loadavg: 7.44 6.25 4.31 11/553 1191339
/proc/meminfo: memFree=27314780/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1038.28 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6323 0 0 0 103827 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1038.28 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1122.3 s]
/proc/loadavg: 9.24 6.95 4.67 11/553 1191348
/proc/meminfo: memFree=27314640/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1096.92 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6329 0 0 0 109691 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1096.92 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1182.3 s]
/proc/loadavg: 10.00 7.61 5.04 11/552 1191358
/proc/meminfo: memFree=27314728/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1155.53 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6335 0 0 0 115552 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1155.53 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1242.3 s]
/proc/loadavg: 8.92 7.77 5.27 11/552 1191367
/proc/meminfo: memFree=27314604/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1214.2 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6341 0 0 0 121419 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1214.2 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1302.3 s]
/proc/loadavg: 7.43 7.58 5.36 11/553 1191377
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1272.85 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6347 0 0 0 127284 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1272.85 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1362.3 s]
/proc/loadavg: 6.52 7.29 5.40 11/553 1191387
/proc/meminfo: memFree=27314524/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1331.48 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6353 0 0 0 133147 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1331.48 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1422.3 s]
/proc/loadavg: 6.19 7.05 5.45 11/553 1191396
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1390.1 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6359 0 0 0 139009 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1390.1 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1482.3 s]
/proc/loadavg: 6.07 6.86 5.48 11/553 1191405
/proc/meminfo: memFree=27314508/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1448.76 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6365 0 0 0 144875 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1448.76 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1542.3 s]
/proc/loadavg: 6.02 6.70 5.52 12/553 1191415
/proc/meminfo: memFree=27314580/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1507.42 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6371 0 0 0 150741 1 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1507.42 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1602.3 s]
/proc/loadavg: 6.01 6.57 5.55 12/552 1191425
/proc/meminfo: memFree=27314612/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1566.03 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6377 0 0 0 156601 2 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1566.03 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1662.3 s]
/proc/loadavg: 6.13 6.51 5.60 11/552 1191434
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1624.69 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6383 0 0 0 162467 2 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1624.69 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1722.3 s]
/proc/loadavg: 6.29 6.48 5.65 11/552 1191443
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1683.35 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6389 0 0 0 168333 2 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1683.35 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

[startup+1782.3 s]
/proc/loadavg: 6.10 6.39 5.67 12/553 1191460
/proc/meminfo: memFree=27314428/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1741.99 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6395 0 0 0 174197 2 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1741.99 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.14 6.38 5.68 12/553 1191461
/proc/meminfo: memFree=27314392/32713960 swapFree=33554428/33554428
[pid=1191160] ppid=1191158 vsize=55044 memory=28528 CPUtime=1759.29 cores=1
/proc/1191160/stat : 1191160 (pigeonPur.py) R 1191158 1191160 1191133 0 -1 4194304 6401 0 0 0 175927 2 0 0 20 0 1 0 347435194 56365056 7132 18446744073709551615 94717468807168 94717468811280 140725592306544 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94717470911744 94717470912516 94717484077056 140725592314396 140725592314505 140725592314505 140725592317929 0
/proc/1191160/statm: 13761 7132 1527 2 0 6173 0
Current children cumulated CPU time: 1759.29 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 28528 KiB

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

Detected pigeons:

[startup+1800.1 s]
# the end of solver process 1191160 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.31 s, system=0.022672 s

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

Child status: 1
Real time (s): 1800.1
CPU time (s): 1759.34
CPU user time (s): 1759.31
CPU system time (s): 0.022672
CPU usage (%): 97.7357
Max. virtual memory (cumulated for all children) (KiB): 55044
Max. memory (cumulated for all children) (KiB): 28528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.31
system time used= 0.022672
maximum resident set size= 28528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6404
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= 14
involuntary context switches= 24942


# summary of solver processes directly reported to runsolver:
#   pid: 1191160
#   total CPU time (s): 1759.34
#   total CPU user time (s): 1759.31
#   total CPU system time (s): 0.022672

??? end of timestamper thread
runsolver used 14.5803 second user time and 19.9674 second system time

The end
