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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/Velev/liveness.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100154 s]*
/proc/loadavg: 0.07 0.10 0.39 2/427 1228336
/proc/meminfo: memFree=24226532/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=47464 memory=21840 CPUtime=0.1 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 4324 0 0 0 9 1 0 0 20 0 1 0 414025231 48603136 5460 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 11866 5460 1519 2 0 4278 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47464 KiB
Current children cumulated memory: 21840 KiB

[startup+0.216779 s]*
/proc/loadavg: 0.07 0.10 0.39 2/427 1228336
/proc/meminfo: memFree=24216172/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=56488 memory=31680 CPUtime=0.21 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 6826 0 0 0 20 1 0 0 20 0 1 0 414025231 57843712 7920 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 14122 7920 1519 2 0 6534 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56488 KiB
Current children cumulated memory: 31680 KiB

[startup+0.314504 s]*
/proc/loadavg: 0.07 0.10 0.39 2/427 1228336
/proc/meminfo: memFree=24211132/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=60588 memory=35852 CPUtime=0.31 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 7866 0 0 0 30 1 0 0 20 0 1 0 414025231 62042112 8963 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 15147 8963 1519 2 0 7559 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60588 KiB
Current children cumulated memory: 35852 KiB

[startup+0.700412 s]
/proc/loadavg: 0.07 0.10 0.39 2/427 1228336
/proc/meminfo: memFree=24206716/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45796 CPUtime=0.68 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 11316 0 0 0 66 2 0 0 20 0 1 0 414025231 72343552 11449 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11449 1519 2 0 10074 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45796 KiB

[startup+1.50046 s]
/proc/loadavg: 0.15 0.11 0.39 2/427 1228336
/proc/meminfo: memFree=24200576/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45796 CPUtime=1.48 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 11316 0 0 0 146 2 0 0 20 0 1 0 414025231 72343552 11449 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11449 1519 2 0 10074 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45796 KiB

[startup+3.11423 s]
/proc/loadavg: 0.15 0.11 0.39 2/427 1228336
/proc/meminfo: memFree=24200356/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45796 CPUtime=3.09 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 11317 0 0 0 307 2 0 0 20 0 1 0 414025231 72343552 11449 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11449 1519 2 0 10074 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45796 KiB

[startup+6.30042 s]
/proc/loadavg: 0.21 0.13 0.40 2/427 1228336
/proc/meminfo: memFree=24200384/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45796 CPUtime=6.27 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 11318 0 0 0 625 2 0 0 20 0 1 0 414025231 72343552 11449 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11449 1519 2 0 10074 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45796 KiB

[startup+12.7004 s]
/proc/loadavg: 0.28 0.14 0.40 2/427 1228336
/proc/meminfo: memFree=24200412/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45796 CPUtime=12.65 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 11318 0 0 0 1263 2 0 0 20 0 1 0 414025231 72343552 11449 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11449 1519 2 0 10074 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45796 KiB

[startup+25.5003 s]
/proc/loadavg: 0.39 0.17 0.41 2/427 1228337
/proc/meminfo: memFree=24200420/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45824 CPUtime=25.39 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14441 0 0 0 2536 3 0 0 20 0 1 0 414025231 72343552 11456 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11456 1519 2 0 10074 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45824 KiB

[startup+51.113 s]
/proc/loadavg: 0.63 0.25 0.43 2/427 1228345
/proc/meminfo: memFree=24200456/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45824 CPUtime=50.85 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14688 0 0 0 5082 3 0 0 20 0 1 0 414025231 72343552 11456 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11456 1519 2 0 10074 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45824 KiB

[startup+102.3 s]
/proc/loadavg: 0.84 0.37 0.46 2/427 1228357
/proc/meminfo: memFree=24200420/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=70648 memory=45824 CPUtime=101.74 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14694 0 0 0 10171 3 0 0 20 0 1 0 414025231 72343552 11456 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17662 11456 1519 2 0 10074 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 70648 KiB
Current children cumulated memory: 45824 KiB

[startup+162.3 s]
/proc/loadavg: 0.94 0.49 0.50 2/427 1228366
/proc/meminfo: memFree=24200064/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46196 CPUtime=161.38 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14816 0 0 0 16135 3 0 0 20 0 1 0 414025231 73109504 11549 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11549 1519 2 0 10261 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46196 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.58 0.53 2/426 1228375
/proc/meminfo: memFree=24199920/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46196 CPUtime=221.02 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14817 0 0 0 22099 3 0 0 20 0 1 0 414025231 73109504 11549 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11549 1519 2 0 10261 0
Current children cumulated CPU time: 221.02 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46196 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.66 0.56 2/428 1228387
/proc/meminfo: memFree=24199956/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46196 CPUtime=280.67 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14817 0 0 0 28064 3 0 0 20 0 1 0 414025231 73109504 11549 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11549 1519 2 0 10261 0
Current children cumulated CPU time: 280.67 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46196 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.73 0.59 2/426 1228396
/proc/meminfo: memFree=24200072/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46196 CPUtime=340.32 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14818 0 0 0 34029 3 0 0 20 0 1 0 414025231 73109504 11549 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11549 1519 2 0 10261 0
Current children cumulated CPU time: 340.32 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46196 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.78 0.62 2/426 1228406
/proc/meminfo: memFree=24199924/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46196 CPUtime=400.01 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 14818 0 0 0 39998 3 0 0 20 0 1 0 414025231 73109504 11549 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11549 1519 2 0 10261 0
Current children cumulated CPU time: 400.01 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46196 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.82 0.65 2/426 1228416
/proc/meminfo: memFree=24199864/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46232 CPUtime=459.82 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21381 0 0 0 45977 5 0 0 20 0 1 0 414025231 73109504 11558 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11558 1519 2 0 10261 0
Current children cumulated CPU time: 459.82 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46232 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.86 0.67 2/426 1228425
/proc/meminfo: memFree=24199580/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46232 CPUtime=519.62 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21606 0 0 0 51957 5 0 0 20 0 1 0 414025231 73109504 11558 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11558 1519 2 0 10261 0
Current children cumulated CPU time: 519.62 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46232 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.89 0.70 2/424 1228434
/proc/meminfo: memFree=24199640/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46232 CPUtime=579.43 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21612 0 0 0 57938 5 0 0 20 0 1 0 414025231 73109504 11558 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11558 1519 2 0 10261 0
Current children cumulated CPU time: 579.43 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46232 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.91 0.72 2/424 1228443
/proc/meminfo: memFree=24199724/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46232 CPUtime=639.23 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21639 0 0 0 63918 5 0 0 20 0 1 0 414025231 73109504 11558 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11558 1519 2 0 10261 0
Current children cumulated CPU time: 639.23 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46232 KiB

[startup+702.3 s]
/proc/loadavg: 1.04 0.94 0.74 2/424 1228454
/proc/meminfo: memFree=24199672/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46232 CPUtime=699.04 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21640 0 0 0 69899 5 0 0 20 0 1 0 414025231 73109504 11558 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11558 1519 2 0 10261 0
Current children cumulated CPU time: 699.04 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46232 KiB

[startup+762.3 s]
/proc/loadavg: 1.01 0.95 0.76 2/425 1228464
/proc/meminfo: memFree=24199448/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46348 CPUtime=758.83 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21664 0 0 0 75878 5 0 0 20 0 1 0 414025231 73109504 11587 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11587 1519 2 0 10261 0
Current children cumulated CPU time: 758.83 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46348 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/425 1228473
/proc/meminfo: memFree=24199528/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=818.64 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21676 0 0 0 81859 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 818.64 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/425 1228483
/proc/meminfo: memFree=24199548/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=878.44 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21688 0 0 0 87839 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 878.44 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.98 0.81 2/425 1228492
/proc/meminfo: memFree=24199572/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=938.24 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21700 0 0 0 93819 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 938.24 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.83 2/425 1228502
/proc/meminfo: memFree=24199644/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=998.05 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21712 0 0 0 99800 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 998.05 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/425 1228512
/proc/meminfo: memFree=24199712/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1057.85 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21724 0 0 0 105780 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1057.85 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/425 1228522
/proc/meminfo: memFree=24199700/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1117.66 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21736 0 0 0 111761 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1117.66 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1182.3 s]
/proc/loadavg: 1.06 1.01 0.87 2/425 1228531
/proc/meminfo: memFree=24199708/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1177.46 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21748 0 0 0 117741 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1177.46 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 0.88 2/425 1228540
/proc/meminfo: memFree=24199724/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1237.26 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21760 0 0 0 123721 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1237.26 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/425 1228550
/proc/meminfo: memFree=24199724/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1297.07 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21772 0 0 0 129702 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1297.07 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/428 1228565
/proc/meminfo: memFree=24198748/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1356.87 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21784 0 0 0 135682 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1356.87 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/428 1228574
/proc/meminfo: memFree=24198944/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1416.68 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21796 0 0 0 141663 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1416.68 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/427 1228584
/proc/meminfo: memFree=24199116/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1476.48 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21808 0 0 0 147643 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1476.48 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/428 1228594
/proc/meminfo: memFree=24199216/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1536.29 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21820 0 0 0 153624 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1536.29 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/428 1228604
/proc/meminfo: memFree=24199372/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1596.09 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21832 0 0 0 159604 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1596.09 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 0.94 2/427 1228614
/proc/meminfo: memFree=24199440/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1655.9 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21844 0 0 0 165585 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1655.9 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 0.95 2/425 1228622
/proc/meminfo: memFree=24199092/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1715.7 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21856 0 0 0 171565 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1715.7 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/425 1228631
/proc/meminfo: memFree=24199268/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1775.5 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21868 0 0 0 177545 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1775.5 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.01 1.00 0.95 2/425 1228643
/proc/meminfo: memFree=24198932/32713960 swapFree=33554428/33554428
[pid=1228335] ppid=1228334 vsize=71396 memory=46356 CPUtime=1793.16 cores=0-7
/proc/1228335/stat : 1228335 (pigeonPur.py) R 1228334 1228335 1224781 34816 1228334 4194304 21868 0 0 0 179311 5 0 0 20 0 1 0 414025231 73109504 11589 18446744073709551615 94405711814656 94405711818768 140729280956608 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94405713919232 94405713920004 94405744279552 140729280963837 140729280963947 140729280963947 140729280966610 0
/proc/1228335/statm: 17849 11589 1519 2 0 10261 0
Current children cumulated CPU time: 1793.16 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 46356 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 1228335 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1793.14 s, system=0.055756 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1793.2
CPU user time (s): 1793.14
CPU system time (s): 0.055756
CPU usage (%): 99.6195
Max. virtual memory (cumulated for all children) (KiB): 71396
Max. memory (cumulated for all children) (KiB): 46356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.14
system time used= 0.055756
maximum resident set size= 46356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23612
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= 20
involuntary context switches= 1180


# summary of solver processes directly reported to runsolver:
#   pid: 1228335
#   total CPU time (s): 1793.2
#   total CPU user time (s): 1793.14
#   total CPU system time (s): 0.055756

??? end of timestamper thread
runsolver used 12.1332 second user time and 15.9521 second system time

The end
