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