(1,25) (2,22) (3,30) (4,20) (6,24) (7,23) (8,16) (9,21) (11,17) (12,19) (13,26) (14,28) (15,29) 
nodes: 1575  conflicts: 48  modelTime: 659  solveTime: 1646  totalTime: 2312  modelSize: 41292  readTime: 7 size: 13