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