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