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