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