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