(1,18) (3,25) (4,24) (5,23) (6,30) (7,28) (8,16) (9,26) (10,20) (11,29) (12,21) (13,17) (14,22) (15,27) 
nodes: 45456  conflicts: 20  modelTime: 1196  solveTime: 114364  totalTime: 115569  modelSize: 41293  readTime: 9 size: 14