(1,2) (3,26) (4,10) (5,24) (6,8) (7,18) (9,28) (11,27) (12,25) (13,14) (15,30) (16,23) (17,22) (19,21) (20,29) 
nodes: 1559  conflicts: 2  modelTime: 927  solveTime: 5243  totalTime: 6236  modelSize: 72266  readTime: 65 size: 15