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