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