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