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