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