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