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