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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/BF/bf0432-007.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=1225005, runsolver pid=1225004
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 0.00 0.00 0.00 2/426 1225006
/proc/meminfo: memFree=24238532/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37008 memory=11752 CPUtime=0.1 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1783 0 0 0 10 0 0 0 20 0 1 0 412056703 37896192 2938 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9252 2938 1493 2 0 1664 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 11752 KiB

[startup+0.219865 s]*
/proc/loadavg: 0.00 0.00 0.00 2/426 1225006
/proc/meminfo: memFree=24238252/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=0.22 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1847 0 0 0 22 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+0.313925 s]*
/proc/loadavg: 0.00 0.00 0.00 2/426 1225006
/proc/meminfo: memFree=24237972/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=0.31 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1848 0 0 0 31 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+0.700337 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 1225006
/proc/meminfo: memFree=24237704/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=0.68 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1848 0 0 0 68 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+1.5003 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 1225006
/proc/meminfo: memFree=24237704/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=1.48 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1848 0 0 0 148 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+3.1131 s]
/proc/loadavg: 0.08 0.02 0.01 2/426 1225006
/proc/meminfo: memFree=24237272/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=3.09 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1849 0 0 0 309 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+6.30028 s]
/proc/loadavg: 0.08 0.02 0.01 3/426 1225006
/proc/meminfo: memFree=24237280/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=6.26 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1851 0 0 0 626 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+12.7003 s]
/proc/loadavg: 0.22 0.05 0.02 2/426 1225006
/proc/meminfo: memFree=24237284/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=12.64 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1851 0 0 0 1264 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+25.5003 s]
/proc/loadavg: 0.34 0.08 0.03 2/426 1225006
/proc/meminfo: memFree=24237260/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=25.39 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1851 0 0 0 2539 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+51.1132 s]
/proc/loadavg: 0.70 0.19 0.06 3/428 1225028
/proc/meminfo: memFree=24236540/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12016 CPUtime=50.91 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 1851 0 0 0 5091 0 0 0 20 0 1 0 412056703 38158336 3004 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3004 1493 2 0 1728 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12016 KiB

[startup+102.3 s]
/proc/loadavg: 0.88 0.33 0.12 2/428 1225037
/proc/meminfo: memFree=24236612/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12076 CPUtime=101.85 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 2200 0 0 0 10185 0 0 0 20 0 1 0 412056703 38158336 3019 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3019 1493 2 0 1728 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12076 KiB

[startup+162.3 s]
/proc/loadavg: 0.96 0.45 0.18 2/429 1225048
/proc/meminfo: memFree=24236860/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12076 CPUtime=161.51 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 2201 0 0 0 16151 0 0 0 20 0 1 0 412056703 38158336 3019 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3019 1493 2 0 1728 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12076 KiB

[startup+222.3 s]
/proc/loadavg: 0.99 0.55 0.23 2/429 1225056
/proc/meminfo: memFree=24236736/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12076 CPUtime=221.17 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 2201 0 0 0 22117 0 0 0 20 0 1 0 412056703 38158336 3019 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3019 1493 2 0 1728 0
Current children cumulated CPU time: 221.17 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12076 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.64 0.28 2/429 1225066
/proc/meminfo: memFree=24236768/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=280.87 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 2744 0 0 0 28087 0 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 280.87 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.71 0.33 2/425 1225076
/proc/meminfo: memFree=24236628/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=340.57 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 3140 0 0 0 34057 0 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 340.57 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.76 0.37 2/425 1225085
/proc/meminfo: memFree=24236604/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=400.34 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 3748 0 0 0 40034 0 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 400.34 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+462.3 s]
/proc/loadavg: 1.49 0.93 0.46 2/425 1225094
/proc/meminfo: memFree=24236564/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=460.14 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4066 0 0 0 46013 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 460.14 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+522.3 s]
/proc/loadavg: 1.36 1.01 0.52 2/425 1225104
/proc/meminfo: memFree=24236732/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=519.94 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4066 0 0 0 51993 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 519.94 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+582.3 s]
/proc/loadavg: 1.13 1.01 0.55 2/426 1225115
/proc/meminfo: memFree=24236960/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=579.73 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4068 0 0 0 57972 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 579.73 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+642.3 s]
/proc/loadavg: 1.05 1.00 0.58 2/427 1225125
/proc/meminfo: memFree=24236804/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=639.52 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4068 0 0 0 63951 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 639.52 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+702.3 s]
/proc/loadavg: 1.02 1.00 0.61 2/427 1225134
/proc/meminfo: memFree=24236660/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=699.31 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4068 0 0 0 69930 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 699.31 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+762.3 s]
/proc/loadavg: 1.00 1.00 0.64 2/427 1225144
/proc/meminfo: memFree=24236672/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=759.11 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4705 0 0 0 75910 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 759.11 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 0.66 2/426 1225153
/proc/meminfo: memFree=24236696/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=818.9 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4714 0 0 0 81889 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 818.9 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.69 2/426 1225163
/proc/meminfo: memFree=24236696/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37264 memory=12084 CPUtime=878.69 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 4726 0 0 0 87868 1 0 0 20 0 1 0 412056703 38158336 3021 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9316 3021 1493 2 0 1728 0
Current children cumulated CPU time: 878.69 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12084 KiB
[] -> []


[startup+942.3 s]
/proc/loadavg: 1.00 1.00 0.71 2/425 1225172
/proc/meminfo: memFree=24236044/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=938.48 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5272 0 0 0 93847 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 938.48 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.73 2/424 1225182
/proc/meminfo: memFree=24236212/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=998.27 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5274 0 0 0 99826 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 998.27 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.75 2/425 1225192
/proc/meminfo: memFree=24236184/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1058.06 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5295 0 0 0 105805 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1058.06 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.77 2/425 1225201
/proc/meminfo: memFree=24236156/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1117.85 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 111784 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1117.85 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.79 2/425 1225211
/proc/meminfo: memFree=24236240/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1177.65 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 117764 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1177.65 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/425 1225220
/proc/meminfo: memFree=24236220/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1237.44 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 123743 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1237.44 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/425 1225229
/proc/meminfo: memFree=24235956/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1297.23 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 129722 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1297.23 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/424 1225239
/proc/meminfo: memFree=24236164/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1357.03 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 135702 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1357.03 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/424 1225248
/proc/meminfo: memFree=24236264/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12760 CPUtime=1416.82 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5310 0 0 0 141681 1 0 0 20 0 1 0 412056703 38821888 3190 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3190 1493 2 0 1890 0
Current children cumulated CPU time: 1416.82 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12760 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/425 1225258
/proc/meminfo: memFree=24236112/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1476.61 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5824 0 0 0 147660 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1476.61 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/424 1225268
/proc/meminfo: memFree=24236004/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1536.41 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5878 0 0 0 153640 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1536.41 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/424 1225277
/proc/meminfo: memFree=24236060/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1596.2 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5878 0 0 0 159619 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1596.2 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.89 2/425 1225287
/proc/meminfo: memFree=24236096/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1655.99 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5878 0 0 0 165598 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1655.99 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/425 1225296
/proc/meminfo: memFree=24235992/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1715.79 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5902 0 0 0 171578 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1715.79 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/425 1225307
/proc/meminfo: memFree=24236136/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1775.58 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5914 0 0 0 177557 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1775.58 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.91 2/425 1225307
/proc/meminfo: memFree=24236092/32713960 swapFree=33554428/33554428
[pid=1225005] ppid=1225004 vsize=37912 memory=12788 CPUtime=1793.23 cores=0-7
/proc/1225005/stat : 1225005 (pigeonPur.py) R 1225004 1225005 1224781 34816 1225004 4194304 5919 0 0 0 179322 1 0 0 20 0 1 0 412056703 38821888 3197 18446744073709551615 93958405709824 93958405713936 140728749234480 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93958407814400 93958407815172 93958419247104 140728749241604 140728749241713 140728749241713 140728749244370 0
/proc/1225005/statm: 9478 3197 1493 2 0 1890 0
Current children cumulated CPU time: 1793.23 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 12788 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1225005 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1793.23 s, system=0.015887 s

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

Child status: 1
Real time (s): 1800.02
CPU time (s): 1793.24
CPU user time (s): 1793.23
CPU system time (s): 0.015887
CPU usage (%): 99.6235
Max. virtual memory (cumulated for all children) (KiB): 37912
Max. memory (cumulated for all children) (KiB): 12788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 0.015887
maximum resident set size= 12788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7067
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= 8
involuntary context switches= 1914


# summary of solver processes directly reported to runsolver:
#   pid: 1225005
#   total CPU time (s): 1793.24
#   total CPU user time (s): 1793.23
#   total CPU system time (s): 0.015887

??? end of timestamper thread
runsolver used 11.7676 second user time and 13.3765 second system time

The end
