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