(1,29) (2,28) (3,21) (4,22) (5,25) (6,27) (8,18) (9,24) (10,19) (11,17) (12,20) (13,16) (14,26) (15,30) 
nodes: 2196  conflicts: 31  modelTime: 658  solveTime: 3495  totalTime: 4159  modelSize: 41293  readTime: 6 size: 14