(1,24) (2,17) (3,27) (4,22) (5,30) (8,23) (9,18) (10,29) (12,25) (13,16) (15,21) 
nodes: 3975  conflicts: 53  modelTime: 658  solveTime: 5864  totalTime: 6529  modelSize: 41293  readTime: 6 size: 11