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