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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/BF/bf2670-001.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=1225517, runsolver pid=1225516
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 0.00 0.02 0.28 2/426 1225518
/proc/meminfo: memFree=24237496/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37008 memory=11760 CPUtime=0.11 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1755 0 0 0 11 0 0 0 20 0 1 0 412338425 37896192 2940 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9252 2940 1523 2 0 1664 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 11760 KiB

[startup+0.219901 s]*
/proc/loadavg: 0.00 0.02 0.28 2/426 1225518
/proc/meminfo: memFree=24237216/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=0.22 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1815 0 0 0 22 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+0.314171 s]*
/proc/loadavg: 0.08 0.04 0.28 2/426 1225518
/proc/meminfo: memFree=24236592/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=0.31 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1816 0 0 0 31 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+0.700295 s]
/proc/loadavg: 0.08 0.04 0.28 2/426 1225518
/proc/meminfo: memFree=24236360/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=0.68 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1816 0 0 0 68 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+1.5003 s]
/proc/loadavg: 0.08 0.04 0.28 2/426 1225518
/proc/meminfo: memFree=24236368/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=1.48 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1816 0 0 0 148 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+3.11313 s]
/proc/loadavg: 0.08 0.04 0.28 2/426 1225518
/proc/meminfo: memFree=24236424/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=3.09 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1818 0 0 0 309 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+6.30027 s]
/proc/loadavg: 0.15 0.05 0.28 2/426 1225518
/proc/meminfo: memFree=24236424/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=6.27 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1819 0 0 0 627 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+12.7003 s]
/proc/loadavg: 0.22 0.07 0.29 2/426 1225518
/proc/meminfo: memFree=24236424/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=12.64 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1819 0 0 0 1264 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+25.5003 s]
/proc/loadavg: 0.34 0.10 0.29 2/426 1225518
/proc/meminfo: memFree=24236412/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=25.4 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1819 0 0 0 2540 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+51.1132 s]
/proc/loadavg: 0.60 0.19 0.32 2/426 1225526
/proc/meminfo: memFree=24236216/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=50.93 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 5093 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+102.3 s]
/proc/loadavg: 0.83 0.32 0.36 2/425 1225535
/proc/meminfo: memFree=24236204/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=101.94 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 10194 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+162.3 s]
/proc/loadavg: 0.94 0.44 0.40 2/425 1225545
/proc/meminfo: memFree=24236308/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=161.74 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 16174 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.55 0.44 2/425 1225554
/proc/meminfo: memFree=24236172/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=221.54 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 22154 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+282.3 s]
/proc/loadavg: 0.99 0.63 0.48 2/425 1225564
/proc/meminfo: memFree=24236200/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=281.33 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 28133 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.70 0.51 2/426 1225575
/proc/meminfo: memFree=24236156/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=341.13 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 34113 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.76 0.55 2/426 1225584
/proc/meminfo: memFree=24236212/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=400.93 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 40093 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.80 0.58 2/427 1225594
/proc/meminfo: memFree=24236136/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=460.72 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 46072 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 460.72 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.84 0.61 2/426 1225603
/proc/meminfo: memFree=24236228/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=520.52 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 52052 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 520.52 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.87 0.64 2/426 1225614
/proc/meminfo: memFree=24236208/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=580.32 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 58032 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 580.32 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.90 0.66 2/426 1225624
/proc/meminfo: memFree=24236220/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=640.12 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 64012 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 640.12 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+702.3 s]
/proc/loadavg: 1.00 0.92 0.68 2/426 1225644
/proc/meminfo: memFree=24236132/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=699.91 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 69991 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 699.91 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+762.3 s]
/proc/loadavg: 1.00 0.94 0.71 2/426 1225654
/proc/meminfo: memFree=24236056/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=759.71 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 75971 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 759.71 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 0.95 0.73 2/426 1225663
/proc/meminfo: memFree=24236060/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=819.51 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1820 0 0 0 81951 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 819.51 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.96 0.75 2/425 1225672
/proc/meminfo: memFree=24235572/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12020 CPUtime=879.31 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 1860 0 0 0 87931 0 0 0 20 0 1 0 412338425 38158336 3005 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3005 1523 2 0 1728 0
Current children cumulated CPU time: 879.31 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12020 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/424 1225683
/proc/meminfo: memFree=24235796/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=939.1 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2157 0 0 0 93910 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 939.1 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.78 2/424 1225692
/proc/meminfo: memFree=24235700/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=998.75 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 99875 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 998.75 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1062.3 s]
/proc/loadavg: 1.04 1.00 0.81 2/427 1225707
/proc/meminfo: memFree=24234980/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1058.39 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 105839 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1058.39 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1122.3 s]
/proc/loadavg: 1.06 1.01 0.83 2/426 1225716
/proc/meminfo: memFree=24235148/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1118.04 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 111804 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1118.04 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 0.84 2/426 1225726
/proc/meminfo: memFree=24235348/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1177.69 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 117769 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1177.69 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/426 1225735
/proc/meminfo: memFree=24235164/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1237.35 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 123735 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1237.35 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.86 2/426 1225744
/proc/meminfo: memFree=24235236/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1297 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 129700 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1297 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/426 1225754
/proc/meminfo: memFree=24235204/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1356.65 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 135665 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1356.65 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/425 1225764
/proc/meminfo: memFree=24235240/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1416.3 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 141630 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1416.3 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.90 2/425 1225773
/proc/meminfo: memFree=24235368/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1475.96 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 147596 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1475.96 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/425 1225783
/proc/meminfo: memFree=24235384/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1535.61 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 153561 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1535.61 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/425 1225792
/proc/meminfo: memFree=24235380/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1595.26 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2226 0 0 0 159526 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1595.26 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/426 1225802
/proc/meminfo: memFree=24235516/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1654.91 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2255 0 0 0 165491 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1654.91 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/425 1225812
/proc/meminfo: memFree=24235600/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1714.56 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2257 0 0 0 171456 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1714.56 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/425 1225822
/proc/meminfo: memFree=24235532/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1774.22 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2257 0 0 0 177422 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1774.22 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.93 2/425 1225822
/proc/meminfo: memFree=24235532/32713960 swapFree=33554428/33554428
[pid=1225517] ppid=1225516 vsize=37264 memory=12372 CPUtime=1791.83 cores=0-7
/proc/1225517/stat : 1225517 (pigeonPur.py) R 1225516 1225517 1224781 34816 1225516 4194304 2257 0 0 0 179183 0 0 0 20 0 1 0 412338425 38158336 3093 18446744073709551615 94125021184000 94125021188112 140720444020736 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94125023288576 94125023289348 94125036646400 140720444028164 140720444028273 140720444028273 140720444030930 0
/proc/1225517/statm: 9316 3093 1523 2 0 1728 0
Current children cumulated CPU time: 1791.83 s
Current children cumulated vsize: 37264 KiB
Current children cumulated memory: 12372 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1225517 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1791.84 s, system=0.007916 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): 1791.85
CPU user time (s): 1791.84
CPU system time (s): 0.007916
CPU usage (%): 99.5458
Max. virtual memory (cumulated for all children) (KiB): 37264
Max. memory (cumulated for all children) (KiB): 12372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 0.007916
maximum resident set size= 12460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3250
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= 12
involuntary context switches= 1764


# summary of solver processes directly reported to runsolver:
#   pid: 1225517
#   total CPU time (s): 1791.85
#   total CPU user time (s): 1791.84
#   total CPU system time (s): 0.007916

??? end of timestamper thread
runsolver used 12.1831 second user time and 13.1077 second system time

The end
