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