Using rule-based backend to compute. Found grid size: 52x52 1/4 done 2/4 done 3/4 done 4/4 done Finished, node_x = 12, node_y = 12, cost = 1652, interval = 4, nodesum = 664 0.21user 0.04system 0:00.31elapsed 84%CPU (0avgtext+0avgdata 61684maxresident)k 56inputs+440outputs (2major+6919minor)pagefaults 0swaps Using rule-based backend to compute. Found grid size: 52x52 1/4 done 2/4 done 3/4 done 4/4 done Finished, node_x = 12, node_y = 12, cost = 1652, interval = 4, nodesum = 664 0.20user 0.04system 0:00.25elapsed 99%CPU (0avgtext+0avgdata 61740maxresident)k 0inputs+440outputs (0major+6922minor)pagefaults 0swaps Using rule-based backend to compute. Found grid size: 52x52 1/4 done 2/4 done 3/4 done 4/4 done Finished, node_x = 12, node_y = 12, cost = 1652, interval = 4, nodesum = 664 0.19user 0.04system 0:00.24elapsed 99%CPU (0avgtext+0avgdata 61792maxresident)k 0inputs+432outputs (0major+6920minor)pagefaults 0swaps Using rule-based backend to compute. Found grid size: 11859x11859 1/4 done 2/4 done 3/4 done 4/4 done Finished, node_x = 200, node_y = 200, cost = 1.01545e+08, interval = 59, nodesum = 3366640 3.15user 0.36system 0:03.56elapsed 98%CPU (0avgtext+0avgdata 147600maxresident)k 280inputs+75016outputs (1major+28392minor)pagefaults 0swaps