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