(1,18) (2,10) (3,13) (4,25) (5,27) (6,22) (7,28) (8,21) (9,24) (11,17) (12,30) (14,20) (15,19) (16,26) (23,29) 
nodes: 23592  conflicts: 39  modelTime: 1705  solveTime: 90642  totalTime: 92367  modelSize: 72275  readTime: 20 size: 15