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