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