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