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