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