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