(1,21) (4,18) (5,25) (6,24) (7,27) (8,17) (9,29) (11,28) (12,30) (13,22) (14,23) (15,16) 
nodes: 3270  conflicts: 71  modelTime: 658  solveTime: 4072  totalTime: 4736  modelSize: 41292  readTime: 6 size: 12