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