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