(1,27) (2,19) (3,30) (5,24) (6,29) (7,22) (8,21) (9,28) (10,26) (11,23) (12,17) (13,18) (14,16) (15,20) 
nodes: 33939  conflicts: 18  modelTime: 1188  solveTime: 101770  totalTime: 102968  modelSize: 41292  readTime: 9 size: 14