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