(1,12) (2,13) (3,17) (6,14) (7,16) (10,26) (11,27) (15,19) (20,24) (23,30) (25,28) 
nodes: 1871  conflicts: 123  modelTime: 980  solveTime: 6795  totalTime: 7787  modelSize: 72262  readTime: 12 size: 11