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