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