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