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