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