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