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