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