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