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