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