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