(1,19) (2,25) (3,23) (4,18) (6,20) (7,28) (8,26) (9,30) (10,21) (11,29) (12,22) (13,16) (15,17) 
nodes: 1208  conflicts: 18  modelTime: 688  solveTime: 1384  totalTime: 2101  modelSize: 41293  readTime: 29 size: 13