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