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