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