(1,28) (2,22) (3,17) (4,26) (5,23) (6,27) (7,18) (8,20) (10,30) (11,19) (13,16) (14,21) (15,25) 
nodes: 3408  conflicts: 54  modelTime: 663  solveTime: 4562  totalTime: 5231  modelSize: 41293  readTime: 6 size: 13