(1,6) (2,27) (3,20) (4,25) (5,12) (7,23) (9,17) (10,28) (11,16) (13,18) (15,26) (21,29) (22,30) 
nodes: 4411  conflicts: 85  modelTime: 1064  solveTime: 18330  totalTime: 19405  modelSize: 72266  readTime: 11 size: 13