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