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