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