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