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