(1,18) (2,25) (3,30) (5,27) (6,16) (7,23) (9,28) (10,26) (11,19) (12,24) (13,21) (14,22) 
nodes: 1258  conflicts: 57  modelTime: 658  solveTime: 1341  totalTime: 2005  modelSize: 41293  readTime: 6 size: 12