(1,26) (2,21) (3,23) (4,29) (5,17) (6,27) (7,28) (9,20) (10,18) (11,19) (12,24) (13,22) (14,30) (15,16) 
nodes: 11725  conflicts: 14  modelTime: 1184  solveTime: 35775  totalTime: 36968  modelSize: 41292  readTime: 9 size: 14