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