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