(1,24) (2,8) (3,6) (4,27) (7,14) (9,22) (10,26) (11,28) (13,29) (15,16) (17,20) (18,30) (19,25) 
nodes: 49055  conflicts: 68  modelTime: 1725  solveTime: 152081  totalTime: 153826  modelSize: 72265  readTime: 20 size: 13