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