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