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