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