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