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