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