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