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