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