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