(1,29) (2,4) (3,23) (5,18) (6,12) (7,28) (8,10) (9,14) (11,15) (13,30) (16,22) (17,25) (20,21) (24,27) 
nodes: 52360  conflicts: 27  modelTime: 1714  solveTime: 232652  totalTime: 234386  modelSize: 72262  readTime: 19 size: 14