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