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