(1,22) (2,29) (3,10) (4,9) (5,30) (6,15) (7,11) (8,20) (12,21) (13,16) (14,17) (18,27) (19,24) (23,26) (25,28) 
nodes: 9328  conflicts: 39  modelTime: 1705  solveTime: 40633  totalTime: 42358  modelSize: 72265  readTime: 20 size: 15