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