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