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