(1,7) (2,29) (4,23) (5,21) (6,12) (8,11) (9,16) (10,26) (13,28) (14,20) (15,30) (17,25) (19,24) (22,27) 
nodes: 2702  conflicts: 75  modelTime: 935  solveTime: 6147  totalTime: 7093  modelSize: 72262  readTime: 11 size: 14