(1,30) (2,27) (3,21) (4,20) (5,18) (6,29) (7,24) (8,25) (9,26) (11,28) (13,23) (14,19) (15,16) 
nodes: 22402  conflicts: 23  modelTime: 662  solveTime: 40735  totalTime: 41403  modelSize: 41292  readTime: 6 size: 13