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