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