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