(1,27) (2,19) (3,18) (4,29) (5,24) (7,22) (8,20) (9,30) (10,25) (11,26) (12,28) (13,16) (14,23) (15,17) 
nodes: 7319  conflicts: 22  modelTime: 658  solveTime: 12840  totalTime: 13503  modelSize: 41293  readTime: 5 size: 14