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