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