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