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