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