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/term1_gr_rcs_w3.shuffled.cnf 

running on 1 cores: 6

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


[startup+0.100418 s]*
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27393132/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=43364 memory=16380 CPUtime=0.08 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 2904 0 0 0 8 0 0 0 20 0 1 0 347435194 44404736 4095 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 10841 4095 1527 2 0 3253 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43364 KiB
Current children cumulated memory: 16380 KiB

[startup+0.224417 s]*
/proc/loadavg: 0.04 0.01 0.09 13/554 1191166
/proc/meminfo: memFree=27348848/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=0.18 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4711 0 0 0 18 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+0.327417 s]*
/proc/loadavg: 0.04 0.01 0.09 14/554 1191166
/proc/meminfo: memFree=27336300/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=0.27 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4711 0 0 0 27 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+0.700422 s]
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27324288/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=0.57 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4711 0 0 0 57 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+1.50042 s]
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27321532/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=1.35 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4711 0 0 0 135 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+3.12242 s]
/proc/loadavg: 0.51 0.11 0.12 13/554 1191166
/proc/meminfo: memFree=27321564/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=2.93 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4711 0 0 0 293 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+6.30042 s]
/proc/loadavg: 0.51 0.11 0.12 12/554 1191166
/proc/meminfo: memFree=27321544/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=6.04 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4712 0 0 0 604 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+12.7004 s]
/proc/loadavg: 0.95 0.21 0.15 12/554 1191166
/proc/meminfo: memFree=27321660/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=12.29 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4712 0 0 0 1229 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+25.5004 s]
/proc/loadavg: 2.07 0.49 0.25 11/554 1191166
/proc/meminfo: memFree=27321980/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=24.79 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4713 0 0 0 2479 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+51.1214 s]
/proc/loadavg: 3.62 0.99 0.41 12/554 1191174
/proc/meminfo: memFree=27320140/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=49.79 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4715 0 0 0 4979 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 49.79 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+102.3 s]
/proc/loadavg: 5.12 1.81 0.73 11/554 1191184
/proc/meminfo: memFree=27319712/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=99.75 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4715 0 0 0 9975 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 99.75 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+162.3 s]
/proc/loadavg: 5.85 2.63 1.08 12/554 1191194
/proc/meminfo: memFree=27319660/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=158.3 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4715 0 0 0 15830 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 158.3 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+222.3 s]
/proc/loadavg: 5.95 3.25 1.39 12/554 1191203
/proc/meminfo: memFree=27318176/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=216.86 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 21686 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 216.86 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+282.3 s]
/proc/loadavg: 5.98 3.75 1.68 11/556 1191214
/proc/meminfo: memFree=27318100/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=275.41 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 27541 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 275.41 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+342.3 s]
/proc/loadavg: 6.00 4.16 1.95 12/554 1191224
/proc/meminfo: memFree=27317924/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=333.96 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 33396 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 333.96 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+402.3 s]
/proc/loadavg: 6.00 4.50 2.21 12/555 1191235
/proc/meminfo: memFree=27317936/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=392.51 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 39251 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 392.51 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+462.3 s]
/proc/loadavg: 6.00 4.78 2.45 11/555 1191244
/proc/meminfo: memFree=27317740/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=451.06 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 45106 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 451.06 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+522.3 s]
/proc/loadavg: 6.15 5.03 2.69 12/555 1191253
/proc/meminfo: memFree=27317832/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=509.61 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4716 0 0 0 50961 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 509.61 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+582.3 s]
/proc/loadavg: 6.10 5.23 2.90 11/553 1191263
/proc/meminfo: memFree=27317804/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=568.16 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4717 0 0 0 56816 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 568.16 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+642.3 s]
/proc/loadavg: 6.18 5.41 3.11 11/553 1191272
/proc/meminfo: memFree=27317820/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=626.72 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4717 0 0 0 62672 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 626.72 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+702.3 s]
/proc/loadavg: 6.06 5.52 3.30 11/552 1191281
/proc/meminfo: memFree=27316428/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=685.22 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4717 0 0 0 68522 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 685.22 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+762.3 s]
/proc/loadavg: 6.02 5.61 3.47 12/552 1191291
/proc/meminfo: memFree=27316520/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=22212 CPUtime=743.77 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4717 0 0 0 74377 0 0 0 20 0 1 0 347435194 50020352 5553 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5553 1527 2 0 4624 0
Current children cumulated CPU time: 743.77 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 22212 KiB

[startup+822.3 s]
/proc/loadavg: 6.01 5.69 3.63 12/553 1191301
/proc/meminfo: memFree=27314336/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=802.32 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4749 0 0 0 80232 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 802.32 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 KiB

[startup+882.3 s]
/proc/loadavg: 6.00 5.75 3.78 12/553 1191310
/proc/meminfo: memFree=27314652/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=860.87 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4765 0 0 0 86087 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 860.87 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 KiB

[startup+942.3 s]
/proc/loadavg: 6.00 5.80 3.92 12/553 1191320
/proc/meminfo: memFree=27314768/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=919.37 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4769 0 0 0 91937 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 919.37 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=977.92 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4777 0 0 0 97792 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 977.92 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1036.48 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4781 0 0 0 103648 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1036.48 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1095.02 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4785 0 0 0 109502 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1095.02 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1153.54 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4789 0 0 0 115354 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1153.54 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1212.1 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4793 0 0 0 121210 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1212.1 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1270.65 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4797 0 0 0 127065 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1270.65 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1329.18 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4801 0 0 0 132918 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1329.18 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1387.71 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4805 0 0 0 138771 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1387.71 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1446.26 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4805 0 0 0 144626 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1446.26 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1504.82 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4809 0 0 0 150482 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1504.82 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1563.32 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4813 0 0 0 156332 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1563.32 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1621.87 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4817 0 0 0 162187 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1621.87 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1680.43 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4821 0 0 0 168043 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1680.43 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 KiB

[startup+1782.3 s]
/proc/loadavg: 6.10 6.39 5.67 11/553 1191460
/proc/meminfo: memFree=27314428/32713960 swapFree=33554428/33554428
[pid=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1738.97 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4825 0 0 0 173897 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1738.97 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 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=1191161] ppid=1191159 vsize=48848 memory=23140 CPUtime=1756.24 cores=6
/proc/1191161/stat : 1191161 (pigeonPur.py) R 1191159 1191161 1191124 0 -1 4194304 4829 0 0 0 175624 0 0 0 20 0 1 0 347435194 50020352 5785 18446744073709551615 94487544938496 94487544942608 140725451545920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 1 0 0 94487547043072 94487547043844 94487548739584 140725451547168 140725451547273 140725451547273 140725451550697 0
/proc/1191161/statm: 12212 5785 1527 2 0 4624 0
Current children cumulated CPU time: 1756.24 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 23140 KiB

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

Detected pigeons:

[startup+1800.1 s]
# the end of solver process 1191161 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.27 s, system=0.009931 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): 1756.28
CPU user time (s): 1756.27
CPU system time (s): 0.009931
CPU usage (%): 97.5662
Max. virtual memory (cumulated for all children) (KiB): 48848
Max. memory (cumulated for all children) (KiB): 23140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.27
system time used= 0.009931
maximum resident set size= 23140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4831
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= 24910


# summary of solver processes directly reported to runsolver:
#   pid: 1191161
#   total CPU time (s): 1756.28
#   total CPU user time (s): 1756.27
#   total CPU system time (s): 0.009931

??? end of timestamper thread
runsolver used 15.5671 second user time and 20.4083 second system time

The end
