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