(1,18) (2,16) (3,30) (4,17) (5,29) (7,26) (8,19) (9,20) (10,25) (11,28) (12,21) (13,24) (14,22) (15,23) 
nodes: 12859  conflicts: 27  modelTime: 657  solveTime: 23932  totalTime: 24594  modelSize: 41293  readTime: 5 size: 14