(1,8) (2,14) (3,30) (4,22) (5,29) (6,27) (7,12) (9,19) (10,28) (11,20) (13,21) (15,17) (16,25) (18,26) (23,24) 
nodes: 22919  conflicts: 59  modelTime: 1237  solveTime: 89479  totalTime: 90735  modelSize: 72262  readTime: 19 size: 15