(1,26) (2,29) (3,16) (4,20) (5,27) (6,28) (7,18) (8,22) (9,30) (10,19) (11,21) (12,17) (13,24) (14,23) (15,25) 
nodes: 5053  conflicts: 5  modelTime: 712  solveTime: 6906  totalTime: 7626  modelSize: 41292  readTime: 8 size: 15