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