(1,30) (2,27) (3,29) (4,17) (5,26) (6,18) (7,22) (8,21) (9,16) (12,25) (13,23) (14,19) 
nodes: 3330  conflicts: 71  modelTime: 661  solveTime: 4188  totalTime: 4855  modelSize: 41293  readTime: 6 size: 12