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