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