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