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