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