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