(1,30) (2,24) (3,20) (5,25) (6,16) (7,22) (9,28) (10,17) (11,23) (12,29) (13,19) (14,21) (15,18) 
nodes: 1594  conflicts: 47  modelTime: 657  solveTime: 1629  totalTime: 2293  modelSize: 41292  readTime: 7 size: 13