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