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