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