(2,21) (3,25) (4,16) (6,29) (7,17) (8,19) (9,30) (10,26) (11,28) (12,23) (13,18) (15,22) 
nodes: 3767  conflicts: 70  modelTime: 662  solveTime: 5202  totalTime: 5870  modelSize: 41292  readTime: 6 size: 12