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