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