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