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