(1,19) (2,16) (3,27) (4,26) (5,18) (6,30) (7,22) (8,29) (10,15) (11,28) (12,14) (13,25) (17,24) (20,21) 
nodes: 5096  conflicts: 78  modelTime: 943  solveTime: 15054  totalTime: 16009  modelSize: 72266  readTime: 12 size: 14