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