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