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