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