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