(1,23) (2,19) (3,30) (4,24) (6,25) (8,20) (9,28) (10,29) (13,21) (14,26) (15,27) 
nodes: 3011  conflicts: 48  modelTime: 661  solveTime: 4050  totalTime: 4717  modelSize: 41293  readTime: 6 size: 11