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