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