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