(1,30) (3,18) (4,25) (5,24) (7,17) (8,27) (9,23) (10,19) (12,16) (13,26) (14,21) (15,28) 
nodes: 3760  conflicts: 71  modelTime: 666  solveTime: 5636  totalTime: 6308  modelSize: 41293  readTime: 6 size: 12