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