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