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