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

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

NUMA information:
  number of nodes: 1
  memory of node 0: 3630 MiB (1725 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net50-30-1.shuffled.cnf 

running on 1 cores: 1

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


[startup+0.101433 s]*
/proc/loadavg: 0.06 0.84 1.86 7/472 340286
/proc/meminfo: memFree=1742804/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=40092 memory=12748 CPUtime=0.07 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2058 0 0 0 6 1 0 0 20 0 1 0 182536207 41054208 3187 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10023 3187 1522 2 0 2432 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 12748 KiB

[startup+0.235431 s]*
/proc/loadavg: 0.06 0.84 1.86 6/472 340286
/proc/meminfo: memFree=1722360/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15228 CPUtime=0.18 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2636 0 0 0 17 1 0 0 20 0 1 0 182536207 42627072 3807 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3807 1522 2 0 2816 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15228 KiB

[startup+0.337423 s]*
/proc/loadavg: 0.06 0.84 1.86 6/472 340286
/proc/meminfo: memFree=1718832/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15228 CPUtime=0.25 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2637 0 0 0 24 1 0 0 20 0 1 0 182536207 42627072 3807 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3807 1522 2 0 2816 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15228 KiB

[startup+0.701422 s]
/proc/loadavg: 0.06 0.84 1.86 6/472 340286
/proc/meminfo: memFree=1717572/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15228 CPUtime=0.55 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2637 0 0 0 54 1 0 0 20 0 1 0 182536207 42627072 3807 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3807 1522 2 0 2816 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15228 KiB

[startup+1.50042 s]
/proc/loadavg: 0.06 0.84 1.86 8/474 340291
/proc/meminfo: memFree=1716540/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15228 CPUtime=1.31 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2637 0 0 0 130 1 0 0 20 0 1 0 182536207 42627072 3807 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3807 1522 2 0 2816 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15228 KiB

[startup+3.13343 s]
/proc/loadavg: 0.38 0.90 1.87 6/472 340294
/proc/meminfo: memFree=1716572/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15284 CPUtime=2.89 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2639 0 0 0 288 1 0 0 20 0 1 0 182536207 42627072 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3821 1522 2 0 2816 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15284 KiB

[startup+6.30042 s]
/proc/loadavg: 0.38 0.90 1.87 6/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15284 CPUtime=5.95 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2640 0 0 0 594 1 0 0 20 0 1 0 182536207 42627072 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3821 1522 2 0 2816 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15284 KiB

[startup+12.7004 s]
/proc/loadavg: 0.67 0.95 1.88 6/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15284 CPUtime=12.14 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2641 0 0 0 1213 1 0 0 20 0 1 0 182536207 42627072 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3821 1522 2 0 2816 0
Current children cumulated CPU time: 12.14 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15284 KiB

[startup+25.5084 s]
/proc/loadavg: 1.41 1.10 1.92 6/470 340296
/proc/meminfo: memFree=1716412/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15284 CPUtime=24.51 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 2646 0 0 0 2450 1 0 0 20 0 1 0 182536207 42627072 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3821 1522 2 0 2816 0
Current children cumulated CPU time: 24.51 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15284 KiB

[startup+51.1424 s]
/proc/loadavg: 2.29 1.33 1.97 6/470 340296
/proc/meminfo: memFree=1716160/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41628 memory=15284 CPUtime=49.32 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6476 0 0 0 4928 4 0 0 20 0 1 0 182536207 42627072 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10407 3821 1522 2 0 2816 0
Current children cumulated CPU time: 49.32 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15284 KiB

[startup+102.301 s]
/proc/loadavg: 3.39 1.78 2.09 6/471 340306
/proc/meminfo: memFree=1715104/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=98.94 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6517 0 0 0 9890 4 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 98.94 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.22 2.22 6/471 340315
/proc/meminfo: memFree=1714568/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=157.14 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6517 0 0 0 15710 4 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 157.14 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.60 2.36 6/471 340325
/proc/meminfo: memFree=1713812/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=215.34 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6517 0 0 0 21530 4 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 215.34 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 2.91 2.48 6/472 340335
/proc/meminfo: memFree=1714032/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=273.52 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 27348 4 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 273.52 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+342.306 s]
/proc/loadavg: 4.19 3.14 2.59 6/471 340344
/proc/meminfo: memFree=1714064/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=331.7 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 33165 5 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 331.7 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+402.3 s]
/proc/loadavg: 5.26 3.61 2.79 6/470 340355
/proc/meminfo: memFree=1713276/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=389.84 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 38979 5 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 389.84 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+462.3 s]
/proc/loadavg: 7.18 4.45 3.12 6/470 340364
/proc/meminfo: memFree=1713496/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=15284 CPUtime=448.02 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 44797 5 0 0 20 0 1 0 182536207 42889216 3821 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 3821 1522 2 0 2880 0
Current children cumulated CPU time: 448.02 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 15284 KiB

[startup+522.3 s]
/proc/loadavg: 7.97 5.18 3.46 6/470 340374
/proc/meminfo: memFree=1707128/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=506.19 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 50614 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 506.19 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+582.3 s]
/proc/loadavg: 6.98 5.46 3.67 6/469 340384
/proc/meminfo: memFree=1707348/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=564.38 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 56433 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 564.38 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+642.303 s]
/proc/loadavg: 5.20 5.23 3.71 6/469 340393
/proc/meminfo: memFree=1707600/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=622.58 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 62253 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 622.58 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+702.3 s]
/proc/loadavg: 4.62 5.05 3.75 6/469 340413
/proc/meminfo: memFree=1707316/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=680.75 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 68070 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 680.75 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+762.3 s]
/proc/loadavg: 4.23 4.86 3.77 6/469 340423
/proc/meminfo: memFree=1707284/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=738.93 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 73888 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 738.93 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+822.3 s]
/proc/loadavg: 4.19 4.73 3.79 6/470 340434
/proc/meminfo: memFree=1707032/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=797.12 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 79707 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 797.12 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+882.309 s]
/proc/loadavg: 4.19 4.63 3.82 6/470 340443
/proc/meminfo: memFree=1706748/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=855.34 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 85529 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 855.34 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.51 3.83 6/470 340452
/proc/meminfo: memFree=1707252/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=913.53 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 91348 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 913.53 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.45 3.85 6/470 340462
/proc/meminfo: memFree=1707220/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=971.74 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 97169 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 971.74 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1062.3 s]
/proc/loadavg: 4.67 4.55 3.93 6/470 340472
/proc/meminfo: memFree=1706920/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1029.93 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 102988 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1029.93 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1122.3 s]
/proc/loadavg: 4.42 4.50 3.96 6/469 340482
/proc/meminfo: memFree=1706636/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1088.09 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 108804 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1088.09 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.42 3.97 6/469 340492
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1146.12 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 114607 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1146.12 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1242.3 s]
/proc/loadavg: 4.23 4.39 3.99 6/469 340501
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1204.33 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 120428 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1204.33 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.32 4.00 6/469 340510
/proc/meminfo: memFree=1707140/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1262.56 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 126251 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1262.56 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1362.3 s]
/proc/loadavg: 4.19 4.29 4.01 6/468 340519
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1320.79 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 132074 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1320.79 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1422.3 s]
/proc/loadavg: 4.71 4.41 4.07 6/469 340530
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1378.96 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 137891 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1378.96 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1482.3 s]
/proc/loadavg: 4.74 4.47 4.11 6/469 340539
/proc/meminfo: memFree=1706856/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1437.16 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 143711 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1437.16 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1542.3 s]
/proc/loadavg: 4.35 4.41 4.11 6/469 340548
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1495.38 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 149533 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1495.38 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1602.3 s]
/proc/loadavg: 4.18 4.35 4.11 6/469 340562
/proc/meminfo: memFree=1707076/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1553.62 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 155357 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1553.62 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.30 4.10 6/469 340571
/proc/meminfo: memFree=1706540/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1611.86 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 161181 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1611.86 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1722.31 s]
/proc/loadavg: 4.10 4.26 4.09 7/469 340583
/proc/meminfo: memFree=1706508/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1669.91 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 166986 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1669.91 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.25 4.10 6/470 340594
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1728.11 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 172806 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1728.11 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.12 4.24 4.10 6/470 340595
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340277] ppid=340274 vsize=41884 memory=17200 CPUtime=1745.3 cores=1
/proc/340277/stat : 340277 (pigeonPur.py) R 340274 340277 340251 0 -1 4194304 6518 0 0 0 174525 5 0 0 20 0 1 0 182536207 42889216 4300 18446744073709551615 93939278995456 93939278999568 140737332376064 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 93939281100032 93939281100804 93939286523904 140737332380143 140737332380244 140737332380244 140737332383721 0
/proc/340277/statm: 10471 4300 1522 2 0 2880 0
Current children cumulated CPU time: 1745.3 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 17200 KiB

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

Detected pigeons:

[startup+1800.08 s]
# the end of solver process 340277 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.29 s, system=0.062359 s

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

Child status: 1
Real time (s): 1800.08
CPU time (s): 1745.35
CPU user time (s): 1745.29
CPU system time (s): 0.062359
CPU usage (%): 96.9597
Max. virtual memory (cumulated for all children) (KiB): 41884
Max. memory (cumulated for all children) (KiB): 17200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.29
system time used= 0.062359
maximum resident set size= 17200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6520
page faults= 0
swaps= 0
block input operations= 248
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 93075


# summary of solver processes directly reported to runsolver:
#   pid: 340277
#   total CPU time (s): 1745.35
#   total CPU user time (s): 1745.29
#   total CPU system time (s): 0.062359

??? end of timestamper thread
runsolver used 16.5412 second user time and 23.722 second system time

The end
