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