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