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