(1,21) (4,30) (5,26) (6,24) (7,27) (8,23) (9,17) (10,16) (11,29) (12,25) (13,28) (14,19) (15,22) 
nodes: 3373  conflicts: 22  modelTime: 665  solveTime: 9615  totalTime: 10286  modelSize: 41293  readTime: 6 size: 13