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