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