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