(1,30) (2,22) (3,25) (4,17) (5,16) (6,20) (8,28) (9,24) (10,23) (12,19) (13,18) (14,29) (15,21) 
nodes: 2151  conflicts: 48  modelTime: 659  solveTime: 3230  totalTime: 3896  modelSize: 41293  readTime: 7 size: 13