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