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