(1,29) (2,18) (3,17) (4,30) (5,28) (6,19) (7,20) (10,27) (11,26) (12,25) (13,16) (14,23) (15,21) 
nodes: 2289  conflicts: 26  modelTime: 661  solveTime: 2672  totalTime: 3339  modelSize: 41293  readTime: 6 size: 13