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