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