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