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