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