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