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