(1,25) (2,26) (3,24) (4,22) (5,23) (6,29) (7,17) (8,18) (9,20) (10,27) (11,30) (13,19) (14,28) 
nodes: 1584  conflicts: 49  modelTime: 661  solveTime: 1310  totalTime: 1977  modelSize: 41293  readTime: 6 size: 13