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