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