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