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