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