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