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