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