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