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