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