(1,23) (2,25) (3,29) (4,22) (5,27) (6,28) (7,19) (8,17) (9,21) (10,24) (11,20) (13,16) (14,26) (15,30) 
nodes: 7173  conflicts: 40  modelTime: 658  solveTime: 11998  totalTime: 12662  modelSize: 41292  readTime: 6 size: 14