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