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