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