(1,25) (2,30) (6,21) (7,24) (8,16) (9,23) (10,26) (12,17) (13,27) (14,22) (15,19) 
nodes: 1139  conflicts: 55  modelTime: 661  solveTime: 912  totalTime: 1580  modelSize: 41293  readTime: 7 size: 11