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