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: 15822 MiB (14916 MiB free)
  memory of node 1: 16124 MiB (15062 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/dinphil/dp12u11.shuffled.cnf 

running on 1 cores: 4

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


[startup+0.100971 s]*
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30666340/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=44384 memory=16732 CPUtime=0.07 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 3021 0 0 0 7 0 0 0 20 0 1 0 132907797 45449216 4183 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 11096 4183 1478 2 0 3508 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44384 KiB
Current children cumulated memory: 16732 KiB

[startup+0.221973 s]*
/proc/loadavg: 0.01 0.01 0.00 5/533 232576
/proc/meminfo: memFree=30645776/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50900 memory=23920 CPUtime=0.18 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 4858 0 0 0 18 0 0 0 20 0 1 0 132907797 52121600 5980 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12725 5980 1494 2 0 5137 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50900 KiB
Current children cumulated memory: 23920 KiB

[startup+0.321008 s]*
/proc/loadavg: 0.01 0.01 0.00 5/533 232576
/proc/meminfo: memFree=30645948/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50640 memory=23852 CPUtime=0.26 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5104 0 0 0 26 0 0 0 20 0 1 0 132907797 51855360 5963 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12660 5963 1494 2 0 5072 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 23852 KiB

[startup+0.700966 s]
/proc/loadavg: 0.01 0.01 0.00 5/533 232576
/proc/meminfo: memFree=30645668/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50640 memory=23852 CPUtime=0.58 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5106 0 0 0 58 0 0 0 20 0 1 0 132907797 51855360 5963 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12660 5963 1494 2 0 5072 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 23852 KiB

[startup+1.50097 s]
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30644976/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50640 memory=23852 CPUtime=1.37 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5108 0 0 0 137 0 0 0 20 0 1 0 132907797 51855360 5963 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12660 5963 1494 2 0 5072 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 23852 KiB

[startup+3.11897 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30645116/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50640 memory=23852 CPUtime=2.94 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5114 0 0 0 294 0 0 0 20 0 1 0 132907797 51855360 5963 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12660 5963 1494 2 0 5072 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 23852 KiB

[startup+6.301 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30643656/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=50640 memory=23852 CPUtime=6.06 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5121 0 0 0 606 0 0 0 20 0 1 0 132907797 51855360 5963 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 12660 5963 1494 2 0 5072 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 23852 KiB

[startup+12.701 s]
/proc/loadavg: 0.47 0.10 0.03 6/533 232576
/proc/meminfo: memFree=30639156/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=52944 memory=26224 CPUtime=12.33 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5715 0 0 0 1233 0 0 0 20 0 1 0 132907797 54214656 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13236 6556 1494 2 0 5648 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 52944 KiB
Current children cumulated memory: 26224 KiB

[startup+25.501 s]
/proc/loadavg: 1.03 0.25 0.08 6/534 232578
/proc/meminfo: memFree=30638924/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=24.85 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5759 0 0 0 2485 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+51.127 s]
/proc/loadavg: 1.70 0.47 0.16 6/534 232578
/proc/meminfo: memFree=30638068/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=49.91 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5759 0 0 0 4991 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+102.301 s]
/proc/loadavg: 2.60 0.92 0.33 6/535 232588
/proc/meminfo: memFree=30637676/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=99.97 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 9997 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 99.97 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+162.301 s]
/proc/loadavg: 2.85 1.30 0.50 6/535 232598
/proc/meminfo: memFree=30637632/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=158.66 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 15866 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 158.66 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+222.301 s]
/proc/loadavg: 2.95 1.61 0.66 6/535 232608
/proc/meminfo: memFree=30636968/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=217.36 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 21736 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 217.36 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 1.87 0.81 6/535 232618
/proc/meminfo: memFree=30636960/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=276.05 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 27605 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 276.05 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.08 0.95 6/533 232627
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=334.75 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 33475 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 334.75 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+402.301 s]
/proc/loadavg: 3.00 2.25 1.08 6/533 232637
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=393.45 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 39345 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 393.45 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.39 1.20 6/533 232647
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=452.15 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 45215 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 452.15 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.50 1.32 6/533 232656
/proc/meminfo: memFree=30636836/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=510.85 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 51085 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 510.85 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+582.301 s]
/proc/loadavg: 3.16 2.64 1.44 6/532 232667
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=569.55 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 56955 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 569.55 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+642.301 s]
/proc/loadavg: 3.06 2.71 1.54 6/532 232676
/proc/meminfo: memFree=30636788/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=628.26 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 62826 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 628.26 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+702.301 s]
/proc/loadavg: 3.02 2.76 1.64 6/533 232686
/proc/meminfo: memFree=30636220/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=686.96 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 68696 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 686.96 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+762.301 s]
/proc/loadavg: 3.00 2.81 1.73 6/533 232695
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=745.66 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 74566 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 745.66 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+822.301 s]
/proc/loadavg: 3.00 2.85 1.81 6/533 232706
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26224 CPUtime=804.36 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5760 0 0 0 80436 0 0 0 20 0 1 0 132907797 54493184 6556 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6556 1494 2 0 5716 0
Current children cumulated CPU time: 804.36 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26224 KiB

[startup+882.301 s]
/proc/loadavg: 3.00 2.88 1.89 6/533 232719
/proc/meminfo: memFree=30636236/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26476 CPUtime=863.06 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5771 0 0 0 86306 0 0 0 20 0 1 0 132907797 54493184 6619 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6619 1494 2 0 5716 0
Current children cumulated CPU time: 863.06 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26476 KiB

[startup+942.301 s]
/proc/loadavg: 3.00 2.90 1.96 6/533 232728
/proc/meminfo: memFree=30636136/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26476 CPUtime=921.77 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5771 0 0 0 92177 0 0 0 20 0 1 0 132907797 54493184 6619 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6619 1494 2 0 5716 0
Current children cumulated CPU time: 921.77 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26476 KiB

[startup+1002.3 s]
/proc/loadavg: 3.00 2.92 2.03 6/532 232737
/proc/meminfo: memFree=30636300/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26476 CPUtime=980.47 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5771 0 0 0 98047 0 0 0 20 0 1 0 132907797 54493184 6619 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6619 1494 2 0 5716 0
Current children cumulated CPU time: 980.47 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26476 KiB

[startup+1062.3 s]
/proc/loadavg: 3.46 3.04 2.12 6/533 232747
/proc/meminfo: memFree=30636264/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26476 CPUtime=1039.17 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5771 0 0 0 103917 0 0 0 20 0 1 0 132907797 54493184 6619 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6619 1494 2 0 5716 0
Current children cumulated CPU time: 1039.17 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26476 KiB

[startup+1122.3 s]
/proc/loadavg: 5.10 3.59 2.37 6/533 232758
/proc/meminfo: memFree=30636256/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=26476 CPUtime=1097.87 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5771 0 0 0 109787 0 0 0 20 0 1 0 132907797 54493184 6619 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 6619 1494 2 0 5716 0
Current children cumulated CPU time: 1097.87 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 26476 KiB

[startup+1182.3 s]
/proc/loadavg: 5.35 3.97 2.58 6/533 232768
/proc/meminfo: memFree=30634440/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1156.57 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5788 0 0 0 115657 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1156.57 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1242.3 s]
/proc/loadavg: 4.14 3.87 2.64 6/533 232777
/proc/meminfo: memFree=30634380/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1215.26 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5812 0 0 0 121526 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1215.26 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1302.3 s]
/proc/loadavg: 3.42 3.71 2.66 6/533 232788
/proc/meminfo: memFree=30634552/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1273.96 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5824 0 0 0 127396 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1273.96 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1362.3 s]
/proc/loadavg: 3.15 3.58 2.68 6/533 232799
/proc/meminfo: memFree=30634244/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1332.66 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5830 0 0 0 133266 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1332.66 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1422.3 s]
/proc/loadavg: 3.05 3.47 2.71 6/533 232809
/proc/meminfo: memFree=30634356/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1391.36 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5836 0 0 0 139136 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1391.36 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1482.3 s]
/proc/loadavg: 3.02 3.38 2.73 6/533 232820
/proc/meminfo: memFree=30634256/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1450.06 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5842 0 0 0 145006 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1450.06 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.32 2.75 6/534 232830
/proc/meminfo: memFree=30634280/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1508.75 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5848 0 0 0 150875 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1508.75 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.26 2.77 6/534 232839
/proc/meminfo: memFree=30634416/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1567.45 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5854 0 0 0 156745 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1567.45 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1662.3 s]
/proc/loadavg: 3.31 3.28 2.81 6/534 232848
/proc/meminfo: memFree=30634312/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1626.15 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5860 0 0 0 162615 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1626.15 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1722.3 s]
/proc/loadavg: 3.15 3.24 2.83 6/534 232859
/proc/meminfo: memFree=30634268/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1684.84 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5866 0 0 0 168484 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1684.84 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

[startup+1782.3 s]
/proc/loadavg: 3.06 3.19 2.84 6/534 232870
/proc/meminfo: memFree=30634248/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1743.54 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5872 0 0 0 174354 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1743.54 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.04 3.18 2.84 6/533 232879
/proc/meminfo: memFree=30634412/32713960 swapFree=33554428/33554428
[pid=232570] ppid=232569 vsize=53216 memory=28104 CPUtime=1760.87 cores=4
/proc/232570/stat : 232570 (pigeonPur.py) R 232569 232570 232559 0 -1 4194304 5872 0 0 0 176087 0 0 0 20 0 1 0 132907797 54493184 7026 18446744073709551615 94785268621312 94785268625424 140735613449792 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 1 0 0 94785270725888 94785270726660 94785298345984 140735613452768 140735613452857 140735613452857 140735613456361 0
/proc/232570/statm: 13304 7026 1494 2 0 5716 0
Current children cumulated CPU time: 1760.87 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 28104 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 232570 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1760.91 s, system=0.00992 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1760.92
CPU user time (s): 1760.91
CPU system time (s): 0.00992
CPU usage (%): 97.8248
Max. virtual memory (cumulated for all children) (KiB): 53216
Max. memory (cumulated for all children) (KiB): 28104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.91
system time used= 0.00992
maximum resident set size= 28104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5899
page faults= 0
swaps= 0
block input operations= 936
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 24581


# summary of solver processes directly reported to runsolver:
#   pid: 232570
#   total CPU time (s): 1760.92
#   total CPU user time (s): 1760.91
#   total CPU system time (s): 0.00992

??? end of timestamper thread
runsolver used 14.4253 second user time and 18.1556 second system time

The end
