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