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