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