(1,25) (2,27) (3,22) (4,16) (5,23) (6,30) (7,17) (8,19) (9,29) (10,18) (11,21) (12,24) (13,26) (14,20) 
nodes: 2893  conflicts: 22  modelTime: 658  solveTime: 4011  totalTime: 4675  modelSize: 41293  readTime: 6 size: 14