In Stage1 Manager constructor system intiailized .. now begin search rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 rcvd vtx request from: 1, return: 0 adding 2 vtcs to the pool number of idle stg1 solvers = 1 rcvd vtx request from: 1, return: 0 time to solution: 81.129s