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