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