(2,28) (3,23) (4,19) (5,16) (6,17) (7,21) (8,27) (9,26) (10,29) (11,20) (12,25) (13,30) (14,22) (15,18) 
nodes: 5441  conflicts: 37  modelTime: 662  solveTime: 9020  totalTime: 9689  modelSize: 41293  readTime: 7 size: 14