(1,29) (2,28) (3,26) (4,22) (5,23) (6,9) (7,20) (8,12) (10,15) (11,25) (13,27) (14,30) (16,24) (17,19) (18,21) 
nodes: 30705  conflicts: 45  modelTime: 1702  solveTime: 100104  totalTime: 101825  modelSize: 72271  readTime: 19 size: 15