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