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