(1,29) (2,20) (3,25) (4,16) (5,17) (6,14) (7,11) (8,27) (9,28) (10,22) (12,15) (13,30) (18,21) (19,26) (23,24) 
nodes: 187226  conflicts: 31  modelTime: 1701  solveTime: 759985  totalTime: 761705  modelSize: 72268  readTime: 19 size: 15