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