(1,18) (2,30) (3,24) (4,28) (5,22) (6,12) (7,9) (8,15) (11,26) (13,17) (14,27) (16,25) (19,29) (20,23) 
nodes: 104724  conflicts: 17  modelTime: 1725  solveTime: 524994  totalTime: 526752  modelSize: 72285  readTime: 33 size: 14