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