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