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