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