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