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