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