(1,12) (2,20) (3,19) (4,22) (5,17) (6,23) (7,25) (8,16) (9,18) (10,14) (11,30) (13,29) (15,28) (21,24) (26,27) 
nodes: 158579  conflicts: 21  modelTime: 968  solveTime: 830083  totalTime: 831061  modelSize: 72264  readTime: 10 size: 15