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