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