(1,25) (3,29) (4,7) (6,23) (8,16) (9,19) (10,21) (11,27) (12,28) (13,24) (14,26) (15,22) (17,20) (18,30) 
nodes: 38234  conflicts: 37  modelTime: 1716  solveTime: 189300  totalTime: 191046  modelSize: 72262  readTime: 30 size: 14