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