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