(1,19) (2,25) (3,28) (4,16) (6,14) (7,10) (8,12) (9,21) (11,30) (13,26) (15,17) (18,22) (20,29) (23,24) 
nodes: 2490  conflicts: 71  modelTime: 935  solveTime: 6220  totalTime: 7166  modelSize: 72262  readTime: 11 size: 14