(1,29) (2,20) (3,5) (4,13) (6,12) (7,16) (8,25) (9,19) (10,21) (11,14) (15,17) (18,30) (22,23) (24,27) (26,28) 
nodes: 28009  conflicts: 35  modelTime: 1097  solveTime: 106727  totalTime: 107843  modelSize: 72263  readTime: 19 size: 15