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