(1,21) (2,26) (3,22) (4,17) (5,29) (8,24) (9,19) (11,27) (12,30) (13,16) (15,18) 
nodes: 2414  conflicts: 68  modelTime: 658  solveTime: 2339  totalTime: 3004  modelSize: 41293  readTime: 7 size: 11