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