(1,5) (2,29) (3,4) (6,16) (7,23) (9,14) (10,13) (11,27) (15,24) (17,20) (18,30) (19,21) (25,26) 
nodes: 673  conflicts: 67  modelTime: 946  solveTime: 3032  totalTime: 4011  modelSize: 72264  readTime: 33 size: 13