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