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