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