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