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