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