(1,30) (2,26) (3,27) (4,21) (5,23) (7,25) (8,20) (9,24) (10,17) (11,16) (12,29) (13,19) (14,18) (15,28) 
nodes: 61905  conflicts: 13  modelTime: 1190  solveTime: 210773  totalTime: 211972  modelSize: 41292  readTime: 9 size: 14