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