(1,25) (2,10) (3,7) (4,28) (5,17) (6,20) (8,14) (9,18) (11,12) (13,16) (15,27) (19,26) (21,29) (22,24) (23,30) 
nodes: 9258  conflicts: 36  modelTime: 977  solveTime: 33769  totalTime: 34756  modelSize: 72270  readTime: 10 size: 15