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