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