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