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