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