(1,6) (2,27) (3,22) (4,11) (5,17) (7,19) (8,10) (9,20) (12,24) (13,21) (14,23) (15,30) (16,18) (25,26) 
nodes: 11165  conflicts: 59  modelTime: 1318  solveTime: 45834  totalTime: 47163  modelSize: 72273  readTime: 11 size: 14