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