(1,18) (2,19) (3,29) (4,21) (5,27) (6,22) (7,16) (8,28) (9,30) (10,17) (11,23) (12,26) (13,25) (14,24) 
nodes: 106402  conflicts: 38  modelTime: 657  solveTime: 161904  totalTime: 162567  modelSize: 41292  readTime: 6 size: 14