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