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