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