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