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