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